CONFIG_ARM_AMBA (not configurable)

modulename: amba.ko

and/or

bus.ko

configname: CONFIG_ARM_AMBA

Linux Kernel Configuration
└─>Device Drivers
└─>ARM_AMBA
In linux kernel since version 2.6.12  
source code:
drivers/acpi/arm64/amba.c
is selected by
CONFIG_VFIO_AMBA