# CONFIG_PSI_DEFAULT_DISABLED is not set