[U-Boot] [PATCH v3 10/12] jetson-tk1: Add PSCI configuration options and reserve secure code