make should probably actually make everything, not just the kernel