kernel - Fix IPI signaling issue, add a few assertions