Re: [LinuxBIOS] patch to lib/console.c