Ok, thanks. In that case adding bootia32.efi would be sufficient for the install media to boot. Should be a relatively straightforward change.