default or selected kernelversion does not have config value CONFIG_PINCTRL_EXYNOS5440.
Result is shown for kernelversion 6.7-rc3
Samsung EXYNOS5440 SoC pinctrl driver
modulename: pinctrl-exynos5440.ko
configname: CONFIG_PINCTRL_EXYNOS5440
Linux Kernel Configuration
└─>Device Drivers
└─>Pin controllers
└─>Samsung EXYNOS5440 SoC pinctrl driver