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