defconfig: thumb2_kernel