[ 1234.425809] ip_local_port_range: prefer different parity for start/end values.