La razon es muy sencilla - la ROM esta destinada a ambas versiones de bootloader, tanto abierto, como cerrado, y para los cerrados solo puede ser el kernel stock. De todos modos - flashear cualguier kernel hoy en dia - cosa de un par de minutos, no supone ningun problema, creo.
Saludos!
