linux-sg2042/drivers/soc/versatile/Kconfig