Return efi32 back to bit64 package