hmm seeigns as is a hdd install, (basically debian.) can i upgrdae linux from a 32bit kernel to a 64 bit one. Does debian have 64 bit kernel?

am i asking gibberish?