Update mali_platform.c