Buenas, he conseguido modificar el ramdisk del kernel original del Redmi 1S (armani) para introducir el ADB 100% funcional y así poder extraer archivos propietarios del sistema y hacer logcats etc sin problema alguno.
A continuación adjunto el zip que contiene el boot.img. Para instalar el kernel éste debe ser introducido en el zip de una ROM ya existente como la 24.0 o la 25.0, posteriormente se flashea y ya deberíamos tener un kernel funcional y con adb activo. Si alguien pudiera probarlo me haría un gran favor.
Descarga del kernel:
https://drive.google.com/file/d/0B3y...it?usp=sharing
Gracias y un saludo, cada día estamos más cerca de crear una gran comunidad de desarrollo para este dispositivo.