Fixed up the kernel a little bit, still doesn't compile