Getting IntelHAXM_1.1.1_for_10_9_and_above.dmg from Intels website (https://software.intel.com/en-us/android/articles/intel-hardware-accelerated-execution-manager) actually solved my issue without the need of setting the boot-args to "kext-dev-mode=1".