Mali build fix
https://github.com/CyanogenMod/sony-kernel-u8500/commit/9426a6e3e1fa5355ca66fbbb6c076b2dc8eec571