diff --git a/lib/kernel b/lib/kernel
deleted file mode 160000
index 03f7f5cf..00000000
--- a/lib/kernel
+++ /dev/null
@@ -1 +0,0 @@
-Subproject commit 03f7f5cf5871cda0070e4223f196f5b577f6cde2