kernel/redhat/configs/common/generic/CONFIG_NVHE_EL2_DEBUG