EFI lipo TE image support and machine support fix for PowerPC/PowerPC64 builds