73737a5833ac ("clocksource/drivers/arm_arch_timer: Do not use timer namespace for timer_shutdown() function")