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