mali: use AndreiLux's mali code from Perseus kernel in exact form