Fix Kernel Build error