I drool over the Odroid N2+, but mostly I just use a Raspberry Pi. 32 bit Raspbian is fine for me and most of it works fine (although the fake kernel mode switching video driver is less then ideal) and i don't really care to lose the huge community for when I need to figure out an issue. Makes figuring out problems a google search solution and not a debug probe solution.