Added server platform to mono config script

These are the 3.1 fixes for the missing server build flags in the mono config.py. Related to pull request #33249

I was not going to make a pull request for this until I saw there was a 3.1.2 RC