Re: installing 64-bit kernel on a 32-bit system (nouveau issue?)