[coreboot-gerrit] Patch set updated for coreboot: DO NOT SUBMIT: run 64 bit builds on all x86 boards