[kevingadd]

You're saying that you can load a 32-bit device driver into a 64-bit OS X kernel? I think you're wrong.

[Tloewald]

You're right, although you can run 64-bit apps on the 32-bit kernel with 32-bit drivers.