buildkernel is broken in if_ndis

dear hackers,

make buildworld is broken for me. since NDIS_LOCK(sc) does not uses 
sc->ndis_mtx anymore, shouldn't the following patch be put in place?

max

p.s. i could not find KeIsInitializedSpinLock function in subr_ndis.c. 
quick look at msdn did not reveal it either


--- if_ndis.c.orig      Tue Oct 11 11:11:52 2005
+++ if_ndis.c   Tue Oct 11 11:11:31 2005
_at__at_ -917,8 +917,6 _at__at_
         driver_object           *drv;

         sc = device_get_softc(dev);
-       KASSERT(mtx_initialized(&sc->ndis_mtx),
-           ("ndis mutex not initialized"));
         NDIS_LOCK(sc);
         ifp = sc->ifp;
         ifp->if_flags &= ~IFF_UP;