Recuerda que MIUI v4 (oficial) con base JellyBean solo esta disponible para Nexus, los demas MIUI v4 JB son ports de CyanogenMod convertidos a MIUI.
Para la DesireHD MIUI de manera oficial solo hay Gingerbread ya que HTC no publica ICS, la rom esta MIUI v4 es un port creado por Miui.us.