[coreboot] Patch merged into coreboot/master: cf86e09 Fix mptable build troubles