Observación: Tengo un servidor HP con una CPU AMD de doble núcleo (Turion II Neo N40L) que puede escalar frecuencias de 800 a 1500 MHz. La escala de frecuencia funciona bajo FreeBSD 9 y bajo Ubuntu 12.04 con el kernel 3.5 de Linux. Sin embargo, cuando coloco FreeBSD 9 en un entorno KVM encima de...