Switch to use AK kernel source