small fixes
kern/util.c