[LinuxBIOS] Re: serial debug messages workaround