Re: installing 64-bit kernel on a 32-bit system