If it's anything like the other devices in that series it will be 32 bit UEFI, which not many distros have out of the box. You can certainly build 32 bit GRUB. http://askubuntu.com/questions/392719/32-bit-uefi-boot-suppo...