diff --git a/local/sources/kernel b/local/sources/kernel index 4b3f6e3e81..dd72d764ff 160000 --- a/local/sources/kernel +++ b/local/sources/kernel @@ -1 +1 @@ -Subproject commit 4b3f6e3e812ca92e66c83d3dfce20203ce5acda2 +Subproject commit dd72d764ffec207c02f510f7937a39ece3bc4598