Index: kernel/Makefile
===================================================================
--- kernel/Makefile	(revision 88dea9d01a9bc5e8482c1ceafa6e6531ac50cb4f)
+++ kernel/Makefile	(revision e535eeb8ca65f325690f9d79d60ea2f3c9e9da35)
@@ -230,9 +230,5 @@
 	generic/src/security/cap.c \
 	generic/src/sysinfo/sysinfo.c \
-	generic/src/ps/ps.c \
-	generic/src/ps/cpu.c \
-	generic/src/ps/load.c \
-	generic/src/ps/uptime.c \
-	generic/src/ps/mem.c
+	generic/src/sysinfo/stats.c
 
 ## Kernel console support