kernelconfig_penguin
is selected by
CONFIG_OPTPROBES

CONFIG_HAVE_OPTPROBES (not configurable)

configname: CONFIG_HAVE_OPTPROBES

Linux Kernel Configuration
└─> General architecture-dependent options
└─> HAVE_OPTPROBES