Add intel-haxm.