kernel designations question