[coreboot-gerrit] Patch merged into coreboot/master: 12785d9 util/xcompile/xcompile: set up for aarch64