Good news, everyone!
Both base and atomic AMIs seem to be working properly (x86_64). As per our previous
discussion, the 32 bit cloud base image needs to be rebuilt due to a PAE kernel problem,
so that won't be available for now.
robyduck has said that he'll be able to add the AMI IDs to the official page in a
couple hours, but for now, you can find them on my FedoraPeople page:
https://oddshocks.fedorapeople.org/
They're public and good to go, so you should be able to boot them and SSH in with the
username 'fedora'. Let me know if there are any problems!
-- oddshocks