original_kernel/drivers/of/Kconfig