kernel - More high-process-count fixes
* The recent tsleep/wakeup work allows multiple cpumasks to associate with
the same pcpu sleep queue. This created a degenerate condition where
the cpu bit would not get cleared in all masks, causing spurious IPIs
to be sent to the cpu.
Fixed by ensuring that the bit is cleared after receiving an IPI, if the
queue is found to be empty. That is, we allow spurious IPIs to happen,
but ensure that the condition is cleared so the same driving event does
not cause additional ones.
* Remove debugging kprintf()s from usched_dfly that were not intended to
be committed.
* Cleanup the csprng code style a bit and add some missing parenthesis.