[LinuxBIOS] Asking help for serial output