Re: [PATCH] arm64: add support for 8250/16550 earlyprintk