Re: [U-Boot] [PATCH v5 12/14] jetson-tk1: Add PSCI configuration options and reserve secure code