Switched to mali r4p1 as the userspace drivers are released by ARM