avoid no detect x86-64

"This kernel requires an x86-64 CPU, but only detected an i686 CPU."
see https://forums.virtualbox.org/viewtopic.php?f=7&t=58103