I have a system that only loads 32bit efi partitions but even setting ARCH/ES to i386, it creates a 64bit efi system partition. What configuration should I use to create the 32 bit one? -- Braiam Peguero