Update mali_platform.c

Fix problem with compilation