RE: [LinuxBIOS] VGA support