Earlier quoted context omitted.
Are you sure? I've worked with a myriad of ARM devices, and I would say that despite their small size, Hardkernel are one of the most responsive companies when I have had issues. I say that as both a Gentoo and Kali ARM dev
I'm sure, just check available OS images for their old boards.
Take a look here if your board is supported.