[coreboot] Re: regarding coreboot source level debugging