Re: [PATCH 1/4] arm: Fix some inconsistent debug-UART CONFIG options