Re: [coreboot] #76: LinuxBIOS messages should be accessible in dmesg