[coreboot] Re: Help debugging qemu + coreboot using GDB