[PATCH 5.15 231/913] clocksource/drivers/timer-microchip-pit64b: Use notrace