[coreboot-gerrit] Patch merged into coreboot/master: aab0cce abuild: make build directory configurable with a variable