AWS, GCP have assurance that they won't need to pay for their Linux infrastructure. What is it if it wasn't for copyleft licenses(GPL)?