[coreboot] Debugging using gdb