[U-Boot] [PATCH v2 13/13] doc: Complement document about booting VxWorks