[PATCH 5.16 0244/1017] clocksource/drivers/timer-microchip-pit64b: Use notrace