Update kernel specific functions.
Make kassert a function not a macro.