Is there a better kernel to use for an AMD64 bit system than the generic kernel that ships with the CD? Something like the K8 kernel? Simon