Hello! I'm about to compile a new kernel. Do I have to take the .deb kernel or can I download the latest from sunsite.unc.edu? /Micke