Document the CONFIG_DISPLAY_BOARDINFO option