proc_* in the process; procfs_machdep.c is no longer needed. Run-tested on i386, build-tested on Alpha, untested on other platforms.
floating point registers for various optimisation tweaks.
This adds the config stuff needed to build kernels. Reviewed by: obrien