On Fri, 8 Sep 2017, Eddy Petri?or wrote:
Is this operating in aarch64 mode?
It currently boots in aarch32 mode.