[coreboot] coreboot debugging with qemu-x86