Que kernel debo usar

Hola:

Que kernel debo usar si tengo un amd 64 X2 4200+, osea que paquete kernel de
Debian debo instalar para usarlo en el grub?

Otra pregunta, yo tengo ya instalado Debian en la máquina con ese procesador
pero para 32bits, si cambio el kernel por uno de 64bits, tengo que
actualizar tambien todos los paquetes?

Alguien sabe como pasarme???

Gracias

-- 
http://nuevaeracr.blogspot.com
Tec. Esteban Monge Marín
Tel: (506) 8367-2009

"No habrá manera de desarrollarnos y salir de
la pobreza mientras los pocos negocios
grandes de nuestro medio se entreguen a las
economías foráneas y nosotros nos
quedemos con solo negocios de pobre,
mientras en vez de ser propietarios de nuestro
propio país nos convirtamos en un ejército de
empleados del exterior"
José Figueres Ferrer, 1952.