Update mali_platform.c

Fix for compilation erorr ("mali_pmm.h" into "mali_pm.h")