Linux « Не ставятся 64-bit ОС на Virtualbox под Intel SR1200RP и Xeon 1270 v3

Добрый день.
Есть сервер под управлением Debian 7 (3.2.0-4-amd64 #1 SMP Debian 3.2.51-1 x86_64 GNU/Linux), работающий на серверной мамке Intel SR1200RP с процессором Xeon 1270 v3.
На сервер установлена VirtualBox 4.3.6 (через apt-get прямо из репозитария virtualbox) и отдельно установлен extpack.
При попытке установки 64-бит системы на виртуалку получаю сообщение, что процессор (виртуалки) не поддерживает 64-бит инструкции.
Вот конфигурация виртуалов (за минусом памяти, хардов и сети)
/** * GeSHi (C) 2004 - 2007 Nigel McNie, 2007 - 2008 Benny Baumann * (http://qbnz.com/highlighter/ and http://geshi.org/) */ .java.geshi_code {font-family:monospace;} .java.geshi_code .imp {font-weight: bold; color: red;} .java.geshi_code .kw1 {color: #000000; font-weight: bold;} .java.geshi_code .kw2 {color: #000066; font-weight: bold;} .java.geshi_code .kw3 {color: #003399;} .java.geshi_code .kw4 {color: #000066; font-weight: bold;} .java.geshi_code .co1 {color: #666666; font-style: italic;} .java.geshi_code .co2 {color: #006699;} .java.geshi_code .co3 {color: #008000; font-style: italic; font-weight: bold;} .java.geshi_code .coMULTI {color: #666666; font-style: italic;} .java.geshi_code .es0 {color: #000099; font-weight: bold;} .java.geshi_code .br0 {color: #009900;} .java.geshi_code .sy0 {color: #339933;} .java.geshi_code .st0 {color: #0000ff;} .java.geshi_code .nu0 {color: #cc66cc;} .java.geshi_code .me1 {color: #006633;} .java.geshi_code .me2 {color: #006633;} .java.geshi_code span.xtra { display:block; }

На запрос в ДЦ мне ответили, что по дефолту в BIOS виртуализация включена. Xeon 1270v3 поддерживает ее.
Я для проверки поставил msr-tools и действительно,
/** * GeSHi (C) 2004 - 2007 Nigel McNie, 2007 - 2008 Benny Baumann * (http://qbnz.com/highlighter/ and http://geshi.org/) */ .java.geshi_code {font-family:monospace;} .java.geshi_code .imp {font-weight: bold; color: red;} .java.geshi_code .kw1 {color: #000000; font-weight: bold;} .java.geshi_code .kw2 {color: #000066; font-weight: bold;} .java.geshi_code .kw3 {color: #003399;} .java.geshi_code .kw4 {color: #000066; font-weight: bold;} .java.geshi_code .co1 {color: #666666; font-style: italic;} .java.geshi_code .co2 {color: #006699;} .java.geshi_code .co3 {color: #008000; font-style: italic; font-weight: bold;} .java.geshi_code .coMULTI {color: #666666; font-style: italic;} .java.geshi_code .es0 {color: #000099; font-weight: bold;} .java.geshi_code .br0 {color: #009900;} .java.geshi_code .sy0 {color: #339933;} .java.geshi_code .st0 {color: #0000ff;} .java.geshi_code .nu0 {color: #cc66cc;} .java.geshi_code .me1 {color: #006633;} .java.geshi_code .me2 {color: #006633;} .java.geshi_code span.xtra { display:block; }
Выдал результатом 5.

Как определить, ошибка ли virtualbox (неправильно установлена и т.п.) или это ошибка старой версии BIOS на мамке (но тогда почему rdmsr 0x3A выдал корректную 5)?