Este tema yo lo tengo descartado, primero porque el XBMC no se mueve demasiado bien en Android y lo segundo, y más importante todavía, es que NINGUN dispositivo Android a día de hoy soporta la salida a 23,976 Hz por lo que tendrás judder con todos los contenidos HD.
Es que lo más sencillo es lo que hace ahora la gente, tirar del reproductor de la tele contro otro equipo o con un USB enchufado...
Yo compraría el MED600X3D que sale a 130€ y le puedes añadir un USB de 1 TB por menos de 60€.
Saludos!