They don't want to put in place the infrastructure to distribute source code, nor do they want the legal requirements to do so. Thus GPLv3 prevents Microsoft from exercising its freedom to not put in place a source code distribution system that will appeal to exactly none of its customers.