I changed armbianEnv.txt file according your suggestion, but spi dev did not appear, however I modified compatible property in .dtsi (from "allwinner,sun8i-spi" to "allwinner,sun8i-h3-spi"; and after a reboot spidev0.0 does appear (even excluding overlay property in armbianEnv.txt).
allwinner,sun8i-spi made sense to me, it is difficult for me to know which driver to use in each case.
So, here is my working environment just in case someone has the same problem and wants to use it.