[coreboot] Patch merged into master: 01422df util/crossgcc: Add build-without-gdb Makefile target