Adjust initrd memory space to 35MiB

This commit adjusts the initrd memory space to 35MiB to fit kernel objects
related to virtio-gpu, which requires ~30MiB.

Author: shengwen-tw

device.h

@@ -7,7 +7,7 @@
 
 #define RAM_SIZE (512 * 1024 * 1024)
 #define DTB_SIZE (1 * 1024 * 1024)
-#define INITRD_SIZE (8 * 1024 * 1024)
+#define INITRD_SIZE (35 * 1024 * 1024)
 
 void ram_read(vm_t *core,
               uint32_t *mem,

minimal.dts

@@ -12,7 +12,7 @@
     chosen {
         bootargs = "earlycon console=ttyS0";
         stdout-path = "serial0";
-        linux,initrd-start = <0x1f700000>; /* @403 MiB (503 * 1024 * 1024)     */
+        linux,initrd-start = <0x1dc00000>; /* @476 MiB (476 * 1024 * 1024)     */
         linux,initrd-end = <0x1fefffff>;   /* @511 MiB (511 * 1024 * 1024 - 1) */
     };