[Tloewald]

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