For amd64, delete the IA32 option for the boot kernel since it needs SYSV*, which is also removed.
For amd64, delete the IA32 option for the boot kernel since it needs
SYSV*, which is also removed.

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