Fix mali drivers compilation