Kbuild: Add ion header file

Make sure the header file for Ion gets exported to userspace.
Also make sure userspace can actually use the header.

Change-Id: I44f436005a6a503811c85d4fb0f89264ba160571
Signed-off-by: Laura Abbott <lauraa@codeaurora.org>
diff --git a/include/linux/ion.h b/include/linux/ion.h
index df44376..ece819d 100644
--- a/include/linux/ion.h
+++ b/include/linux/ion.h
@@ -19,7 +19,6 @@
 
 #include <linux/ioctl.h>
 #include <linux/types.h>
-#include <mach/ion.h>
 
 
 struct ion_handle;
@@ -74,6 +73,7 @@
 #define ION_IS_CACHED(__flags)	((__flags) & (1 << ION_CACHE_SHIFT))
 
 #ifdef __KERNEL__
+#include <mach/ion.h>
 struct ion_device;
 struct ion_heap;
 struct ion_mapper;