Starting from Linux Kernel version 3.10 (R80.40 and higher), SMT (HyperThreading) is enabled by default in BIOS and users cannot disable it from the 'cpconfig' menu.

Examine this table in sk93000 to determine if SMT is enabled by default on your appliance model.

To disable SMT (HyperThreading), use one of these options:

• Contact Check Point Support to disable SMT in BIOS.

• For R80.40 - Install the R80.40 Jumbo HotFix Accumulator Take 150 or higher (see PRJ-25307) to get the "Configure Hyper-Threading" option in the "cpconfig" menu.

This solution has been verified for the specific scenario, described by the combination of Product, Version and Symptoms. It may not work in other scenarios.