Как изменить эмулятор андроида AVD, эмулирующий ARM5T, чтобы эмулировать ARM5TE

Question

Мое приложение мармелада сообщает, что мой AVD эмулирует ARM5T и что он построен для ARM5TE. Я не могу найти документацию, объясняющую, почему по умолчанию используется ARM5T и как изменить этот параметр. Кто-нибудь знает, где я могу найти документацию по этой теме?