[LinuxBIOS] Question about Onboard VGA