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