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