You can simply re-use the same link and download the 64bit. Couldn't be easier. 
There has to be! ..... "user deactivation" is one of the standard requirements for Intel chips to be able to use the firmware.
A quick search "access macbook bios" on the web comes up with this as the first result:
There are more of course.
