From what I understand, this is a 64-bit capable chipset but only shipped with 32-bit firmware/OS originally installed. Not sure if this is part of the problem or not, but it sounds like it since you need to add a bootia32.efi. This is a workaround to get a 64-bit system to start on a 32-bit bootloader, but I don't know that it will work with everything.
