[PATCH 065/171] Correct SPL use of DEBUG_UART_ZYNQ