[LinuxBIOS] can't see printk messages