[U-Boot] [PATCH v6 15/15] jetson-tk1: Add PSCI configuration options and reserve secure code