Allocate framebuffer buffer1 in HELLO

src/hulk/bootinfo.d

@@ -69,6 +69,9 @@ struct BootInfo
     /* Physical address of stack while jumping to HULK. */
     ulong stack_phys;
 
+    /* Physical address of framebuffer buffer1. */
+    ulong fb_buffer1_phys;
+
     /* Physical address of ACPI XSDT table. */
     ulong acpi_xsdt_phys;
 }