Re: [PATCH] vexpress64: also consider DTB pointer in x1