I Just did a new ubuntu hardy server install on a Dell 600sc server. I installed virtualbox from the latest .deb package, and added evergreen as a new vm. When I try to boot the vm server, I am getting an error "Unable to boot -please use a kernel appropriate for your cpu. I'm not sure how to get around this???