[coreboot] Patch merged into coreboot/master: 9824328 Drop empty mainboard.c