[kbuild-all] Re: drivers/clocksource/timer-pistachio.c:74:22: warning: variable 'overflow' set but not used