Mali driver adopted for recent kernels