[coreboot] regarding coreboot source level debugging