[coreboot] Patch merged into coreboot/master: 897aeeb Drop empty mainboard_ops