It looks like this is a general problem with the 64bit kernel. You can find forum threads on the internet discussing this and where workarounds have been found. However, these do not seem to work without considerable effort.
I don’t think an update after the switch to the 64bit kernel is enough, but I haven’t tested it myself. If you should test it, please let us know if it works.