von 32 nach 64 bit kernel

hallo alle, habe in meinem desktop-rechner das board und cpu von einem athlon 2000 (k7) auf ein board mit sockel 754 und einem sempron 3000 upgedatet. ist zwar auch schon von vorgestern, aber lag halt so rum. ich benutze ubuntu 07.10 (386) auf diesem rechner. ist der sempron 64 ein echter 64bit proz, und kann ich den kernel auf 64bit kern austauschen ? und wie muss ich die repositories auf ubuntu 7.10 setzen, damit er sich den passenden kern ziehen kann ? komplett neu installieren kommt mir immer sehr aufwendig vor (datensicherung, alte einstellungen wieder herstellen,...). mfg dirk tersteegen