HdmiCec: use maxint from sys instead of a fixed hexadecimal