I wasn't aware it was common practice to upgrade motherboard BIOS or sell upgrades for BIOS or firmware from 32-bit to 64-bit. I think there's either no precedent for that so they didn't bother, or some technological issue precluding it.
Mobo firmware upgrades are common practise in the computer industry and all mobo manufacturers do them until the development on the particular socket ends. Practically any development on a 771 socket would be covered if you would use a Supermicro, Tyan or Asus mobo. Expensive 500$ dual socket products would be meticulously covered. They do this for free and there is no question that any compatible CPU, operating system and firmware development technique would be covered. All manufacturers did upgrades some years ago when 64-bit processors required a wave of new drivers. When Vista allowed you to load drivers by USB they upped a lot of 2-3 year old BIOS files to make those compatible and they do it even for processors not made by Intel if they fit the socket.
Apple in contrast will not touch anything superseded in their current sales program. They will not do it even for money.
I had issues from day one with EFI32 when I bought my MacPro1,1 and I know a lot of other people who do. The list is long as nanofrog points out. He even forgot one of the most annoying issues, which Apple quickly fixed with the EFI64 on the next generation and did not care to give to MP1,1 and MP2,1 owners. It is the failure to boot most 64-bit operating system installation disks or support 64 bit operating systems for the propriatory devices.
Try to run XP64, which is on the market since 2005 and you will realise it isn't supported. If you try Vista 64 you find that the EFI32 boot loader stalls on multiple images on one DVD or boot loading variables that are commonly used. Hence you have to single out an induvidual image and delete all load variables with a program like vLite. It took me days to sort this out.
Thorougly annoying is the failure of all Apple EFIs to deal properly with SATA AHCI drivers for other than Apple's own OS X. The user has no means to tell the firmware he will be using AHCI instead of legacy. So the OS will crash unless the registry and boot loader is manipulated before rebooting.
I will not bother with the sad story of the lack of support for graphic cards. Only the most ardent fan boy can be happy with Apple's policy there. I understand that it helps streamline development resources but surely Apple go to extremes compared to any other industry participant.
Back to the topic I would once again stress that it isn't surprising that properly supported apps will run faster on a 64bit kernel than on a 32bit kernel. It could be observed with MS OSes as well.