Fix kernel compile