original_kernel/drivers/amba/Kconfig