Reorganized code for pixel framebuffer in order to have it instantiated once and for all the possible display drivers. Dropped the display_getFrameBuffer() function.