What I *think* I need to do is get the bootia32.efi onto the harddisk in the right place - presuming it's not already there and the issue lies elsewhere. I can't figure out a way to browse the directories or copy files to the harddisk from a live session.
The issue persists with installs of both Linux Mint Cinnamon and Lubuntu. Mint Xcfe wouldn't boot ("wrong magic number"). 2/