AOSP or Not
Again, while Android’s source code is available, it is not as open as Google would like you to think.
Historically, it appears that shipping one non-Google device will get you kicked out of the Google ecosystem. So if Amazon’s phone makes it to market and doesn’t run a Google-approved version of Android, HTC could be banned from future access to Google apps.