Оказывается, это ошибка, затрагивающая все процессоры серии Core 2, которые должны поддерживаться Intel HAXM. Это те, которые имеют VT-x, но не EPT. После публикации его на Github мне сказали откатиться до версии 7.2.0, и после некоторых проблем я смог запустить эмулятор. В конце концов, производительность была ужасной, поэтому я пошел в Genymotion, у которого есть бесплатная версия для личного использования.