dpif: Change get_max_ports() to return uint32_t.