OpenFlow port values are uint32, correcting the size in the model for that