[U-Boot] [PATCH v2 05/10] Document the CONFIG_DISPLAY_BOARDINFO option