IPI must be the very first thing to be handled in splx(), if it had been blocked before. Change things around a bit to guarantee this.
includes.