ARM: versatile: name configuration options after actual board names