migrate_timers: add comment, use spinlock_irq()