Which Kernel should I be using for an Intel Celeron D 2.93 (64 Bit)? At the moment it's says it;s using an AMD64 kernel, which seems a little odd for an Intel processor!