switch back to r3p0 Mali driver to match kernel