id	summary	reporter	owner	description	type	status	component	version	resolution	keywords	cc	guest	host
12706	VBox is not booting x86-64 kernel	Ado1ff		"Hello.
Yes I've checked similar tickets.

I tried to setup a virtual machine with Ubuntu 12.04 x64 but it is not loading. It says:
{{{This kernel requires an x86-64 CPU, but only detected an i686 CPU}}}

I've already enabled VT-x feature in BIOS. I tried to boot it up with any combination of options for VM processor:[[BR]]
""Enable VT-x/AMD-V""[[BR]]
""Enable Nested Paging""[[BR]]
""Enable PAE/NX""[[BR]]

In VBox log I don't see any MSRs failures. Please take a look.

Host processor is Xeon E3-1275v3.
Motherboard - ASUS Maximus VI Formula.
Version of BIOS is latest available.

Attached log is collected with all options for processor is checked on."	defect	closed	VM control	VirtualBox 4.3.6	worksforme			Linux	Windows