fix kernel compile error