/* Dummy header for the Linux framebuffer backend. */