Cambiar parametro kernel

[Rubén Magaña]

Buenas, alguien sabe como cambiar el parámetros del kernel? Es posible hacerlo 
sin tener que recompilar de nuevo el kernel?

SERIAL_8250_RUNTIME_UARTS

???

Un saludo,
Rubén Magaña Riau
Mobile: (+34) 677 134 091