It has been a hugh setback for a very long time no support from linux distros for 32 bit efi installation. Pinguy linux to the rescue. See their website for details
Sent from my SD4930UR using Tapatalk
Sent from my SD4930UR using Tapatalk