original_kernel/drivers/infiniband/hw/amso1100/Kconfig