[coreboot-gerrit] New patch to review for coreboot: 13fc41b arch/x86: No need to specify -Wa, --divide in a Makefile