[PATCH v3 07/17] x86: Support debug UART in 64-bit mode