get_kernel_set
if (get_kernel_set() != SET_KERNEL_2)
if (get_kernel_set() == SET_KERNEL_2) {
if (get_kernel_set() == SET_KERNEL_TINY)
unsigned int get_kernel_set(void);