Correcting wrong file names in kernel + typo