HPET отсутствует в доступных источниках частоты в CentOS

У меня проблемы с использованием HPET на моем физическом компьютере. Он недоступен, хотя я включил его в своей биографии, принудительно включил в grub и трижды проверил свое ядро, чтобы включить HPET в его компиляцию.

• Материнская плата: Supermicro X9DRW
• Процессор: 2x Intel (R) Xeon (R) CPU E5-2640
• Контроллер SAS: LSI Logic / Symbios Logic SAS2004 PCI-Express Fusion-MPT SAS-2 [Spitfire] (ред. 03)
• Дистрибутив: CentOS 6.3
• Ядро: 3.4.21-rt32 # 2 SMP PREEMPT RT x86_64 GNU / Linux
• Grub: hpet = force clocksource = hpet

.config файл:

CONFIG_HPET_TIMER=y 
CONFIG_HPET_EMULATE_RTC=y 
CONFIG_HPET=y

dmesg | grep hpet:

Command line: ro root=/dev/mapper/vg_xxxx-lv_root rd_NO_LUKS rd_LVM_LV=vg_xxxx/lv_root  KEYBOARDTYPE=pc KEYTABLE=us rd_NO_MD SYSFONT=latarcyrheb-sun16 crashkernel=auto rd_LVM_LV=vg_xxxx/lv_swap rd_NO_DM LANG=en_US.UTF-8 rhgb quiet panic=5 hpet=force clocksource=hpet
Kernel command line: ro root=/dev/mapper/vg_xxxx-lv_root rd_NO_LUKS rd_LVM_LV=vg_xxxx/lv_root  KEYBOARDTYPE=pc KEYTABLE=us rd_NO_MD SYSFONT=latarcyrheb-sun16 crashkernel=auto rd_LVM_LV=vg_xxxx/lv_swap rd_NO_DM LANG=en_US.UTF-8 rhgb quiet panic=5 hpet=force clocksource=hpet

cat / sys / devices / system / clocksource / clocksource0 / current_clocksource:

tsc

cat / sys / devices / system / clocksource / clocksource0 / available_clocksource:

tsc jiffies

Еще больше сбивает с толку то, что у меня есть около десятка других машин, которые используют тот же файл .config ядра и могут нормально использовать HPET. Я боюсь, что это проблема с оборудованием, но был бы признателен за любой совет или помощь с доступностью HPET.

Заранее спасибо!