specialix.c: convert nested spin_lock_irqsave to spin_lock