[coreboot-gerrit] Patch set updated for coreboot: d9ecc9c platform_cfg: Clean up vendor definition of BIOS_SIZE.