Implementing fully immutable files

This is exactly the same as for all file configuration bits in an i-node: They have no retroactive effects, ie, code using a valid file descriptor according to the 'contract' the kernel agreed to at time of the open won't suddenly experience failures because this or that i-node change happened to be made.