I don't know the answer, but I suspect that there could be issues with built in drivers. The software might just be too complex for box86.  Is an Arm version available? 
	 
	Have you set up the udev rules as per Intel instructions?  
	There could also be dependency issues. 
	 
	You don't mention your board or the Armbian image, but have you had this running on the equivalent Debian/Ubuntu version on an x86_64 machine, and what did you have to do to make it work. 
	 
	Debian complexities: 
	http://fpgacpu.ca/fpga/debian.html 
	Ubuntu complexities:
 
	 https://www.alteraforum.com/forum/showthread.php?t=22481