i386: timer_irq_works() static again