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