vmunix -> kernel PR:		port/8543 Submitted by:	jkb@best.com
vmunix -> kernel
PR:		port/8543
Submitted by:	jkb@best.com

jrobhoward/SCADAbase,jrobhoward/SCADAbase,jrobhoward/SCADAbase,jrobhoward/SCADAbase,jrobhoward/SCADAbase,jrobhoward/SCADAbase,jrobhoward/SCADAbase,jrobhoward/SCADAbase,jrobhoward/SCADAbase,jrobhoward/SCADAbase,jrobhoward/SCADAbase