kernel text and data from the loader to the kernel, so that the tte format is not part of the loader->kernel ABI.
machdep.c. - Adapt to critical_* changes.