Re: [PATCH v2 1/2] doc: Add documentation for the Arm VExpress64 board configs