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