Fix kernel filenames