[coreboot-gerrit] Patch merged into coreboot/master: 87200e2 Makefile.inc: Use -Og when compiling with GDB support