[coreboot-gerrit] New patch to review for coreboot: xcompile: Add a way to specify -march=i586