[coreboot] New patch to review: bbacccf buildgcc: Do not download GDB source code if run with --skip-gdb