Mali build fix
https://github.com/CyanogenMod/sony-kernel-u8500/commit/9426a6e3e1fa5355ca66fbbb6c076b2dc8eec571
Merge pull request #2 from 95A31/kk-dev

Mali build fix