Update mali_platform.c

Fix problem with compilation
Merge pull request #2 from imax27/patch-1

Update mali_platform.c