I'm booting the default kernel on a dual quad core Xeon machine. I only see four CPUs and I expect to see 8.

Do I have to build a custom kernel?

Is there a switch or configuration parameter I need to set?

Thanks,

Jerry