Changed GateAll to GateHwi since GateAll does not work in SMP BIOS according to SDOCM...