increase vga resolution in the kernel cmdline