[LinuxBIOS] [PATCH] Fix boards broken by recent GX1 VGA support