Fix kernel reference and toolchain config