64 bit kernel in 32 bit system