Add the kernel config I use, which includes "options KERN_TLS", plus
a couple of changes so the kernel will build by itself.