I've submitted the attached patch upstream to address this. Note that this still requires manually fiddling with the string, because we need the *EFI* arch name here which is ia32, not i386.
I've submitted the attached patch upstream to address this. Note that this still requires manually fiddling with the string, because we need the *EFI* arch name here which is ia32, not i386.