The best choice at this point is a portable x86 device and running a regular linux distro on it. Make sure it has a 64 bit efi and that drivers are well suppprted. If it is an older device make sure it doesn't have a gma 500. There are internet threads showing how it can be done. I recommend a newer x5 based device.