logs to facilitate coreboot porting