[Bug 473701] New: kernel is unable to detect x86_64 cpu. only detects as i686. unable to boot