Update kern_lvls.h