Switch to use AK kernel