base-linux: make linux-specific headers private

The interfaces linux_cpu_session, local_capability, linux_dataspace,
linux_native_pd are mere implementation necessities. They are meant for the
internal use by the framework only. So it is appropriate to move them to
base/internal/.

Issue genodelabs#1832

repos/base-linux/src/base/env/rm_session_mmap.cc

@@ -33,12 +33,12 @@
  */
 
 /* Genode includes */
-#include <base/local_capability.h>
 #include <base/thread.h>
 #include <linux_dataspace/client.h>
 #include <linux_syscalls.h>
 
 /* base-internal includes */
+#include <base/internal/local_capability.h>
 #include <base/internal/platform_env.h>
 #include <base/internal/context_area.h>
 

repos/base-linux/src/base/rm_session_client.cc

@@ -11,11 +11,15 @@
  * under the terms of the GNU General Public License version 2.
  */
 
-#include <base/local_capability.h>
+/* Genode includes */
 #include <rm_session/client.h>
 
+/* base-internal includes */
+#include <base/internal/local_capability.h>
+
 using namespace Genode;
 
+
 /**
  * Return pointer to locally implemented RM session
  *

repos/base-linux/src/include/base/internal/platform_env.h

@@ -23,11 +23,11 @@
 
 /* Genode includes */
 #include <util/misc_math.h>
-#include <base/local_capability.h>
 #include <base/heap.h>
 #include <linux_cpu_session/client.h>
 
 /* base-internal includes */
+#include <base/internal/local_capability.h>
 #include <base/internal/platform_env_common.h>