CONFIG_ACPI_IORT (not configurable)

modulename: iort.ko

configname: CONFIG_ACPI_IORT

Linux Kernel Configuration
└─>Power management and ACPI options
└─>ACPI (Advanced Configuration and Power Interface) Support
└─>ACPI_IORT
In linux kernel since version 4.2 (release Date: 2015-08-30)  
source code:
drivers/acpi/arm64/iort.c

is depended by
CONFIG_ARM_GIC_V3_ITS