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