[coreboot] Patch set updated for coreboot: a3b2c44 Prepare the BIOS data areas before device init.