VFIO support for AMBA devices

modulename: vfio-platform-base.ko

and/or

vfio-amba.ko

configname: CONFIG_VFIO_AMBA

Linux Kernel Configuration
└─>Device Drivers
└─>VFIO support for AMBA devices
In linux kernel since version 3.10 (release Date: 2013-06-30)  
Support for ARM AMBA devices with VFIO. This is required to make
use of ARM AMBA devices present on the system using the VFIO
framework.

If you don't know what to do here, say N.

source code: