Re: [PATCH v2 2/4] board: vexpress64: default to hardware device tree