[coreboot] Patch merged into coreboot/master: e773c92 Make mainboard_ops and mainboard.c file optional