Просто чтобы держать этот вопрос в актуальном состоянии:
Как и CommonsWare сказал, что на момент написания этой статьи единственными доступными образами Intel x86 были API 10. Некоторое время назад Intel начала обновлять образы синхронно с выпусками SDK .
Чтобы использовать изображения, вы можете загрузить их из SDK Manager или выполнить Инструкции Intel (специфично для 4.3, но применимо в целом).
Несмотря на то, что вы используете, обратите внимание на важный пункт инструкции:
- выбор целей, не относящихся к "API Google" (например, "Android 4.3 - API Level 18") - диспетчер AVD не позволит вам сменить ЦП на x86, если не будут использоваться цели-дроиды.