[U-Boot] [RESUBMIT PATCH v3 4/8] armv8: Add psci.h from the Linux kernel