Re: [coreboot] Problems with the gdb debugger and coreboot