[PATCH 5.10 159/599] clocksource/drivers/timer-microchip-pit64b: Use notrace