original_kernel/drivers/acpi/arm64
..
Kconfig
Makefile
dma.c
gtdt.c
iort.c