This should be improving the console on ARM devices. I'm unsure of the
magnitude of improvement, but it does get a very early console
functioning on ARM devices.
Submitted by: Elliott Mitchell <ehem+freebsd@m5p.com>
Original implementation: Julien Grall <julien@xen.org>, 2015-09-19 10:15:40