Re: [LinuxBIOS] VGA support