[LinuxBIOS] The wrong device number causes VGA not to work.