x86: I/O APIC: keep the timer IRQ masked during set-up