[coreboot] Patch merged into coreboot/master: 72a2eaf Rename mainboard_smi.c to smihandler.c