Re: [PATCH v2 6/6] doc: Add documentation for the Arm vexpress board configs