diff --git a/control/kern/headers b/control/kern/headers
index fdc6741..38c614e 160000
--- a/control/kern/headers
+++ b/control/kern/headers
@@ -1 +1 @@
-Subproject commit fdc67418985f1007c031a3ce624cede1c5584967
+Subproject commit 38c614ea1a49785dccc058c0f0e14b25b26c8cd7
diff --git a/trace/kern/headers b/trace/kern/headers
index fdc6741..38c614e 160000
--- a/trace/kern/headers
+++ b/trace/kern/headers
@@ -1 +1 @@
-Subproject commit fdc67418985f1007c031a3ce624cede1c5584967
+Subproject commit 38c614ea1a49785dccc058c0f0e14b25b26c8cd7