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