fixed typo that broke the kernel build