Update platform/mali400-pmu/mali_platform.c