Re: [LinuxBIOS] 2 VGA devices