Fix kernel paths