Use my version of AK kernel