Framebuffer in L4Re for Raspberry PI