Switch to AK kernel source