soc/intel/ptl: Change ACPI name for IPUmain
[coreboot.git] / src / mainboard / pine64 / 
treec564743350d2b71ffbf31971efb5596572e6bca0
drwxr-xr-x   ..
-rw-r--r-- 257 Kconfig
-rw-r--r-- 78 Kconfig.name
drwxr-xr-x - rockpro64