Re: [U-Boot] [U-Boot, v7, 4/9] armv8: Add psci.h from the Linux kernel