After some years, I have started using again my Wandboard Quad (rev. B1) and installed ArchLinux ARM. Everything is working properly, even Wi-Fi after installing the proper txt files, but after a soft reboot the wireless interface is lost.
I have to do a hard reset, i.e. issue
poweroff and then press the reset hardware button, in order to make the interface available again.
Is there any workaround for that which does not require physical access?
I have also tried building the 4.14 and 4.19 kernels as suggested in eewiki, but unfortunately the interface was not appearing there, too.