added KASSERT for kmain.c