Fix kernel install.