[coreboot-gerrit] Patch merged into filo/master: builtins: Only build dumppm and io on x86