[LinuxBIOS] Need help with the VGA bios