Selecting default framebuffer through kernel command-line ?