[coreboot] Patch set updated for coreboot: ed752d5 mptable: don't require mptable.c when generating from devtree