I've had Odroid devices in the past. Although they by all means work as advertised, the SW support for the raspberry pi is higher, allowing more recent kernels

I've had Odroid devices in the past. Although they by all means work as advertised, the SW support for the raspberry pi is higher, allowing more recent kernels and with more (most) of the sources available also more tinkering. I'd recommend to settle for the lower performance unless you really really need it.