Re: [petsc-dev] -with-kokkos-cuda-arch=AMPERE80 nonsense