[PATCH v2 07/18] x86: Support debug UART in 64-bit mode