kernel with mali drivers