[PATCH 010/204] ARM: integrator: Add some Kconfig selections