dpif-linux: Use MAX_PORTS instead of hard-coded 65535.