Switch to my AK kernel