Use AWS-AMI-name-compatible ISO time