Fix kernel build by specifying d710 defconfig