Optimize some code in ChannelSelection.py as adviced by Adhoik

http://openpli.org/forums/topic/32855-finetuning-hdmi-in/