Re: [U-Boot] [PATCH] vxworks: fixed cpu enable using PSCI on armv8