Set the default maximum DNS UDP packet size to 1232.

[commit eb92fb32b746f2104b0f370b5b295bb8dd4bd5e5 upstream]

http://www.dnsflagday.net/2020/ refers.

Thanks to Xiang Li for the prompt.

Change-Id: I29b2979530e7cd5b775d23f6c097dad86666ef23
3 files changed