[PATCH] vexpress64: also consider DTB pointer in x1