No matches were found for subject:"\[PATCH v16 05\/15\] clocksource\/drivers\/arm_arch_timer\: fix a bug in arch_timer_register about arch_timer_uses_ppi"