[coreboot-gerrit] Patch set updated for coreboot: b4a2b32 Revert fmap and boot_device commits