Re: [coreboot] [PATCH] Multiboot bugfix (coreboot-v3)