Syscall Based Modularity

To compile a custom kernel containing only the implementation of a given set of syscalls, see this file.

Note that to witness a significant reduction in kernel .text size, it is advised to disable networking by adding the -DNO_NET=1 parameter to the kernel cmake invocation, and to use the hermitux-light kernel: see here.