Python for UEFI IA32 and i586