It can be useful to have the processor registers writable when debugging a kernel, for example
for jtagfs. If they are not, the filesystem will protect you against it anyway.