ofproto: Maximum value of "int" is INT_MAX, not UINT32_MAX.