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