Use temasek as kernel defconfig