I just looked, BBC1 HD, BBC2 HD, BBC News, and ITV HD don't have a logo. 4 HD and 5 HD do. Though I'm sure I remember seeing the HD logo on BBC1 before.
Don't forget that the HD channels don't always broadcast HD content. I just flicked between BBC1 HD and BBC1 SD and couldn't see much difference. I read somewhere that they vary the bandwidth for each channel, depending on what is being broadcast.
There are only about 15 HD channels, around half of the channels on the DVB-T2 muxes are SD.
That's interesting dcervi, maybe I'm being overly critical of the PI. Once I get a PSU for my Pi hub I'm going to try it with multiple tuners. I have 3 USB ones, and a dual tuner PCI card scattered between various machines, it would make sense to get several of them in one place.