Nope, Windows Defender has already set the registry key, and you should be good to go. For the rest of you, there is a good public document[0] that is being regularly updated on the status of each of the AV products out there.

[0]https://docs.google.com/spreadsheets/d/184wcDt9I9TUNFFbsAVLp...