Kernel configuration, updating and patching

As suggested in #46.