Re: [coreboot] Can I use gdb debug tool with coreboot v4.0?