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