would this question:
be on-topic here? In fact, the actual machine running the armbian is not a Raspberry Pi (but an Orange Pi PC 2), but I could just go and plug the SD card into a Raspberry Pi and have the very same problem. I'm confused whether this is an acceptable question here. Would it be acceptable if I in fact encountered the problem on a Raspberry Pi? Or if I reproduced it there?