HDMICEC : fix default device name