On SMP systems, this left the mpintr_lock simplelock locked, causing further calls to disable_intr to deadlock or panic.