Allow one to specify what the installed kernel's name is by setting "INSTKERNNAME".
Allow one to specify what the installed kernel's name is by setting
"INSTKERNNAME".

Reviewed by:	marcel

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