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