Re: Selecting default framebuffer through kernel command-line ?