Changes

Summary

  1. Pick up changes from submodule kernel (details)
Commit 69d3c52b31c57e4c244d122a656c4f4726498d6c by Florian Waibel
Pick up changes from submodule kernel
The file was modifiedkernel