jetson-tk1: Add PSCI configuration options and reserve secure code