[LinuxBIOS] serial debug messages workaround