Comment 1 for bug 1066038

Revision history for this message
Steve Langasek (vorlon) wrote :

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.