Re: [coreboot] coreboot debugging with qemu-x86