ARM: realview: use Kconfig choice for debug UART selection