How is the 64 bit kernal listed in GRUB? Mine says: Ubuntu 8.04.1, kernal 2.6.24-19-generic which is the same as the 32 bit version I have on another machine. Is that correct?