134 files changed, 17927 insertions, 9498 deletions

diff --git a/kernel/Makefile b/kernel/Makefile
index 149e18ef1ab1..0b72d1a74be0 100644
--- a/kernel/Makefile
+++ b/