[coreboot] Re: Debugging using gdb