Librarizing Linux kernel for Unikernels

I ported the Linux kernel to Unikraft as an external library. This makes it possible to reuse the rich functions of the Linux kernel for…