1. Check Point Support Center, sk26202: "Changing the kernel global parameters for Check Point Security Gateway". This document explicitly states: "To make the changes permanent (survive a reboot), you must add the desired kernel parameters and their values to the $FWDIR/boot/fwkern.conf file." This confirms that the problem lies within this file, and reverting the file is the logical solution.
2. Check Point R81.10 CLI Reference Guide, Page 411. This guide describes the fw unloadlocal command, stating its purpose is to "Unload the local Security Policy from a Security Gateway." This confirms the command is unrelated to kernel parameter management.
3. Check Point R81.10 CLI Reference Guide, Pages 238-239. This section details the fw ctl command, noting it is used for inspecting and modifying kernel data. Changes made via fw ctl set are not persistent across reboots, making it unsuitable for fixing a problem caused by a persistent configuration file.