linux3.9: sync with 3.8 kernel for framebuffer options.