Fix up permissions of some files that were not readable

by "other". The normal permissions for the kernel tree
should be -rw-r--r--.