Create kern_utils.h