[LinuxBIOS] serial output