configs: sei510: disable PSCI_RESET to support fastboot reboot_flag
[platform/kernel/u-boot.git] / dts /
drwxr-xr-x   ..
-rw-r--r-- 12327 Kconfig
-rw-r--r-- 1439 Makefile