use AOSP toolchain for kernel too

Change-Id: I122969a1451d25ecc06b76dc97b07166a0a2c8d2