Solution 1:

This is not true at all...64 bit servers will hand our 32 bit drivers as long as you install them. From printer properties, go to sharing, and add the 32 bit drivers from there. I've ran into a small problem with 2008 R2 machines when loading some 32 bit drivers because it doesn't have the ntprint dlls. You can grab these from a 32 bit Windows 7 install and provide them when asked for. This hasn't led to a single problem for any of my installs.

Solution 2:

32 and 64 bit Windows will spool printers to each other just fine AFAIK. However, the automatic driver loading could be a problem. I'm not sure that a 64 bit machine will let you setup a 32-bit driver to be available for download to 32-bit clients. If it does, it'll definitely not be installed by default.