Increase UDP receive buffer size.

Use a ridiculously high amount (it's ok,
since it will reduce it if the system
limit is lower) to avoid UDP receive
errors when querying tens of thousands
of hosts.