Removes unnecessary kernel files.
Fixes build.