If you want to go with a pure 64-bit OS, you can verify that you have an AMD64 (or x86_64, don't remember the exact name) LiveCD and push F1 when it asks which kernel to boot, and that'll show which kernels are available to boot from.
-- [email protected] mailing list
