How to build and install the kernel