Remove definitions of ACPI_SSDTX_NUM to 0, that's the default anyway.
[coreboot.git] / src / mainboard / iei /
drwxr-xr-x   ..
-rw-r--r-- 1307 Kconfig
drwxr-xr-x - juki-511p
drwxr-xr-x - kino-780am2-fam10
drwxr-xr-x - nova4899r
drwxr-xr-x - pcisa-lx-800-r10