[PATCH] doc: icicle: Fix incorrect board name in HSS docs

[Sean Anderson]

The HSS source uses an "mpfs" prefix with the icicle board name. Change our
documentation to match.

Signed-off-by: Sean Anderson <seanga2 at gmail.com>
---

 doc/board/microchip/mpfs_icicle.rst | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/doc/board/microchip/mpfs_icicle.rst b/doc/board/microchip/mpfs_icicle.rst
index c71c2f3cab..cd18472542 100644
--- a/doc/board/microchip/mpfs_icicle.rst
+++ b/doc/board/microchip/mpfs_icicle.rst
@@ -63,15 +63,15 @@ Build the HSS (Hart Software Services) - Microchip boot-flow
 
 .. code-block:: none
 
-   make BOARD=icicle-kit-es config
+   make BOARD=mpfs-icicle-kit-es config
 
 Alternatively, copy the default config for Microchip boot-flow.
 
 .. code-block:: none
 
-   cp boards/icicle-kit-es/def_config .config
+   cp boards/mpfs-icicle-kit-es/def_config .config
 
-2. make BOARD=icicle-kit-es
+2. make BOARD=mpfs-icicle-kit-es
 3. In the Default subdirectory, the standard build will create hss.elf and
    various binary formats (hss.hex and hss.bin).
 
-- 
2.30.1