Socket 754 Sempron Kernel

[Hans du Plooy <hansdp-lists@sagacit.com>]

I'm just wondering, I'm getting an AMD64 based Sempron this afternoon for a 
server.  Debian Sarge is to be loaded.  This CPU is the cheap-o version of 
the Athlon64, but the 64bit bits are disabled.  So what is the correct kernel 
for it?  Does the K8 kernel require 64bit extentions?

Thanks
Hans