Seriously, how do you build the kernel?