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