jetson-tk1: Add PSCI configuration options and reserve secure code
[platform/kernel/u-boot.git] / arch / arm / mach-tegra / emc.h