Switch to use my clone of AK kernel