Are they the same things or two different cables? I want to get the hdmi cable for the bionic, but unsure if I need micro or mini.