Fix kernel load path