[coreboot] Help debugging qemu + coreboot using GDB