ya me he leido, y como dije antes, que en las fuentes del kernel incluya el driver, aunque no esté compilado, es una cosa, y que el telefono fisicamente lleve el chip ese, es otra...
abrir un cable y ver unas fuentes de un kernel, que probablemente sea genérico, con el driver ese sin ser compilado, me parece un poco arriesgado como para decir que si hay HDMI por USB
