Added CAPSTONE_HAS_OSXKERNEL to config.mk
diff --git a/config.mk b/config.mk
index 10304d3..a954c6f 100644
--- a/config.mk
+++ b/config.mk
@@ -73,3 +73,10 @@
# a shared library.
CAPSTONE_SHARED ?= yes
+
+################################################################################
+# Change 'CAPSTONE_HAS_OSXKERNEL = no' to 'CAPSTONE_HAS_OSXKERNEL = yes' to
+# enable OS X kernel embedding support. If 'CAPSTONE_USE_SYS_DYN_MEM = yes',
+# then kern_os_* functions are used for memory management.
+
+CAPSTONE_HAS_OSXKERNEL ?= no