El boot.img es el kernel (te sonará por los de faux, franco etc). Cada ROM puede llevar el que se quiera, o cambiarlo en cualquier momento (flasheando el boot.img y haciendo un erase cache) aunque normalmente cada desarrollador incorpora uno (el recomendado) para su ROM.
En el caso del ARHD y OrDroidX (y otras ROM's) incorporan el kernel (boot.img) "stock kernel" o dicho en otras palabras, el kernel propio de HTC, y que para mí es el más estable.
Lo que comentas del lag no he observado nada, pero si veo algo te comento.
(Tienes la versión 1.2.1 del OrDroidX
)
Saludos
Te añado por si acaso - para flashear un boot.img
----------------------------------------------------------
1.- Copiar el boot.img a la carpeta del ordenador donde tienes el fastboot.exe
2.- Entrar en el bootloader
3.- Conectar el cable USB
4.- Abrir una ventana de comandos donde tienes el boot.img y el fastboot. Lo puedes hacer muy fáci así:
Abres el explorador de Windows, vas a la carpeta donde tienes los ficheros, pulsas la tecla Mayúscula y sin soltar el botón derecho del ratón -> Eliges "Abrir ventana de comandos aquí)
5.- En la ventana de comandos: fastboot flash boot boot.img y después fastboot erase cache. En la ventana de comandos teclear Exit para cerrarla
6.- Quitar el cable USB
7.- Elegir la opción Apagar el tfno
8.- Encender el teléfono en el Recovery e instalar la ROM (esperando siempre, como dijes antes, a que aparezca el logo de nuestro operador antes de hacer nada)
Es conveniente reiniciar el movil nada más instalar la ROM. Para ello, y entre otras cosas, lo primero es ir a Ajustes -> Energía -> y desactivar el "Inicio rápido"
En el caso de la OrDroidX, está opción ya viene desactivada por defecto