kernelconfig_penguin
is selected by
CONFIG_OPROFILE

CONFIG_HAVE_OPROFILE (not configurable)

configname: CONFIG_HAVE_OPROFILE

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