ARM: add Kconfig option for PSCI 0.1