Buenas, voy a actualizar la doc de kernel-config.xml que es poca cosa, la voy actualizar ahora mismo asi que en unos 20 min estara en el bugzilla, saludos.<br>