b934ed7716
with kernel_map->system_mtx held so these aren't needed. Add an assertion to make sure this is the case. Also, fix a minor style(9) nit. Reviewed by: alc@