[coreboot-gerrit] New patch to review for coreboot: 48b5b3f x86: only build disassembly with gcc