Second attempt at protecting TRANSMISSION_MODE_4K from users with old versions of the DVB API.  We just assume that it was introduced with the current API (5.3) as it is very unlikely anyone will actually come across such a broadcast.