[PATCH 5.17 0249/1126] clocksource/drivers/timer-microchip-pit64b: Use notrace