AWS doesn't seem to have an issue with using copyleft software.

Which copyleft software does AWS use? Linux, certainly. And MariaDB/MySQL (but also the BSD-like PostgreSQL). I was under the impression that it typically avoids GPL software when there is a BSD- or MIT-licensed alternative.