[coreboot-gerrit] Patch merged into coreboot/master: xcompile: Add a way to specify -march=i586