Switch to Kat kernel proper.