Add Android 4.1.2 toolchain to kernel baseline for ease-of-use with newew builds