[LinuxBIOS] 2 VGA devices