[coreboot] Patch set updated for coreboot: c4ffc67 MPTABLE: add mptable.c in mainboard dir