Patch "drivers/perf: arm_pmu: handle no platform_device" has been added to the 4.9-stable tree