linux/drivers/soc/versatile/Kconfig