Always disable interrupts before checking IPL in splraise/splhigh. otherwise we can race with preemption/migration and read the IPL from the wrong CPU.