Comment 7 for bug 1099405

I've tested both Ryan's tree and Catalin's tree, same result: linux-linaro doesn't boot.
John has copied the vexpress64-3.7cfg to vexpress64.cfg. The only difference is the bootwrapper.
It's trivial to change from one to the other in the CI job, or even build locally.