Actually install the kernel