[coreboot-gerrit] Patch set updated for coreboot: bdf1494 arch/x86: No need to specify -Wa, --divide in a Makefile