diff --git a/base-hw/src/core/imx31/kernel_support.h b/base-hw/src/core/imx31/kernel_support.h
deleted file mode 100644
index 327e7f0fc..000000000
--- a/base-hw/src/core/imx31/kernel_support.h
+++ /dev/null
@@ -1,21 +0,0 @@
-/*
- * \brief  Platform specific parts of kernel
- * \author Martin Stein
- * \date   2012-04-23
- */
-
-/*
- * Copyright (C) 2012 Genode Labs GmbH
- *
- * This file is part of the Genode OS framework, which is distributed
- * under the terms of the GNU General Public License version 2.
- */
-
-#ifndef _SRC__CORE__KERNEL_SUPPORT_H_
-#define _SRC__CORE__KERNEL_SUPPORT_H_
-
-/* local includes */
-#include <arm1136/kernel_support.h>
-
-#endif /* _SRC__CORE__KERNEL_SUPPORT_H_ */
-
diff --git a/base-hw/src/core/imx31/target.mk b/base-hw/src/core/imx31/target.mk
index de0abcfab..4312fa09e 100644
--- a/base-hw/src/core/imx31/target.mk
+++ b/base-hw/src/core/imx31/target.mk
@@ -7,5 +7,8 @@
 # declare wich specs must be given to build this target
 REQUIRES = platform_imx31
 
+# add include paths
+INC_DIR += $(REP_DIR)/src/core/include/imx31
+
 # include less specific target parts
 include $(REP_DIR)/src/core/target.inc