Use intr_disable() and intr_restore() rather than intr_disable() and
intr_enable() to ensure that nested interrupt level is done right.