[PATCH 4.2.y-ckt 168/206] ARM: debug: remove extraneous DEBUG_HI3716_UART option

4.2.8-ckt12 -stable review patch. If anyone has any objections, please let me know. ---8< From: Arnd Bergmann commit 3b9d78a4f3886f84db0a58dc986fbabb937799c6 upstream. DEBUG_HI3716_UART was supposed to be renamed to

[PATCH 4.2.y-ckt 168/206] ARM: debug: remove extraneous DEBUG_HI3716_UART option

4.2.8-ckt12 -stable review patch. If anyone has any objections, please let me know. ---8< From: Arnd Bergmann commit 3b9d78a4f3886f84db0a58dc986fbabb937799c6 upstream. DEBUG_HI3716_UART was supposed to be renamed to