Add a KASSERT() to assert that td_critnest is == 1 when mi_switch() is called.
Add a KASSERT() to assert that td_critnest is == 1 when mi_switch() is
called.

jrobhoward/SCADAbase,jrobhoward/SCADAbase,jrobhoward/SCADAbase,jrobhoward/SCADAbase,jrobhoward/SCADAbase,jrobhoward/SCADAbase,jrobhoward/SCADAbase,jrobhoward/SCADAbase,jrobhoward/SCADAbase,jrobhoward/SCADAbase,jrobhoward/SCADAbase