acpi: Move the xsdt pointer to acpi_ctx
[platform/kernel/u-boot.git] / dts /
drwxr-xr-x   ..
-rw-r--r-- 13601 Kconfig
-rw-r--r-- 1575 Makefile