Hey, the Mali port is missing a SDL_mouse implementation. Are there already any plans to port that? Any known impediments? It would be useful for GUIs like amiberry's.