Sure, it should only take a few clicks, I'll look into it as soon as possible. I thought x86 would be better for compatibility (similarly to Windows), but apparently not, my bad.
The last time I tried to install a dual boot on my laptop was a disaster due to dual graphic cards driver issues, so I haven't tested Opuscule on Linux yet (and it's great if you can!), but I'll try to do so in a near future. Though I guess I could attempt to run it on my PocketCHIP...