Added basic 64-bit kernel support