Use SM 4.7 for kernel for now