Deleted wrong kernel-files
Added correct kernel-files
Added correct toolchain header