Which file holds global Kernel values to survive reboot in a Check Point R77 gateway?

Which file holds global Kernel values to survive reboot in a Check Point R77 gateway?

A.
$FWDIR/boot/fwkern.conf

B.
$FWDIR/conf/fwkern.conf

C.
$FWDIR/boot/modules/fwkern.conf

D.
$FWDIR/boot/confwkern.conf