Re: [LinuxBIOS] [PATCH] Make GX1 video memory size configurable