sparc64: Fix build by including linux/irq.h into time_64.c