Fixup IPI interrupt delivery and splsched mask so that
sys/uvm/pmap/pmap_tlb.c

    541 KASSERTMSG(ci->ci_cpl >= IPL_SCHED,
    542     "%s: cpl (%d) < IPL_SCHED (%d)",
    543     __func__, ci->ci_cpl, IPL_SCHED);

doesn't fire.

(skrll)