[PATCH] Kconfig/debug_uart: Enable proper drivers for debug on Zynq