Amazon used to run entirely behind Citrix NetScaler hardware; no F5 at all. This was back in the early 2010s so I assume things have changed by now.
Now, SSL termination is done at the host level, using a distributed SSL termination proxy developed by S3 called "JBLRelay"