xen/arm: XEN selects ARM_PSCI
authorStefano Stabellini <stefano.stabellini@eu.citrix.com>
Wed, 24 Apr 2013 18:47:18 +0000 (18:47 +0000)
committerStefano Stabellini <stefano.stabellini@eu.citrix.com>
Thu, 25 Apr 2013 16:46:08 +0000 (16:46 +0000)
Signed-off-by: Stefano Stabellini <stefano.stabellini@eu.citrix.com>
arch/arm/Kconfig

Simple merge