Как использовать эмулятор Android x86 в Linux?

Последний Android SDK имеет эмулятор x86, который должен помочь с производительностью. Как я могу создать изображение для него? Когда я иду, чтобы сделать новый avd, я вижу раскрывающийся список для CPU/ABI, но он установлен на "ARM" и отключен.