Fixed compile error with KERNEL_SUPPORT enabled