Enable x86_64 emulation support.

At last, we can support x86_64 targets by simply adding
TARGET_X86_64 1 in target-x86/config.h.

+ Recognize 'x86_64' as a valid CPU ABI in build.prop
  and associate it with 'emulator-x86' properly.

+ Remove obsolete definition of TARGET_PHYS_ADDR_SPACE_BITS,
  since this is now handled by target-*/cpu.h anyway.

+ Add missing util/host-utils.c required by x86_64 helper
  functions in target-i386/op_helper.c

+ Remove obsolete VPATH entry in top-level Makefile.

This replaces the patches:
  https://android-review.googlesource.com/80370
  https://android-review.googlesource.com/80371

NOTE: This still only supports 3.4 kernels, for 3.10 and
      higher, a future patch will address required changes.

Change-Id: Iad221ac96b68fd1a1a8ca89650ef5db69c74c312
diff --git a/Makefile.target b/Makefile.target
index eacb219..81d9a4b 100644
--- a/Makefile.target
+++ b/Makefile.target
@@ -54,6 +54,7 @@
 common_LOCAL_SRC_FILES += \
     tcg/tcg.c \
     tcg-runtime.c \
+    util/host-utils.c \
 
 ##############################################################################
 # Emulated hardware devices.