simplified kernel type management