Add toolchain_kelvin to manage-riscv-toolchain

Change-Id: Ie125e61ec57f3a9faf35a41963ece09d0ef1c665

manage-riscv-toolchain.sh

diff --git a/manage-riscv-toolchain.sh b/manage-riscv-toolchain.sh
index 66537ef..59d4b8b 100755
--- a/manage-riscv-toolchain.sh
+++ b/manage-riscv-toolchain.sh
@@ -59,6 +59,8 @@
       echo "toolchain_${datestamp}.tar.gz"
     elif [[ ${toolchain} == "toolchain_iree_rv32imf" ]]; then
       echo "toolchain_iree_rv32_${datestamp}.tar.gz"
+    elif [[ ${toolchain} == "toolchain_kelvin" ]]; then
+      echo "toolchain_kelvin_${datestamp}.tar.gz"
     else
       die "Unsupported toolchain ${toolchain}"
     fi
@@ -122,6 +124,8 @@
     echo "Removing old latest toolchain..."
     if [[ ${promote_tarball} == "toolchain_iree_rv32"* ]]; then
         tarball_name="toolchain_iree_rv32"
+    elif [[ ${promote_tarball} == "toolchain_kelvin"* ]]; then
+        tarball_name="toolchain_kelvin"
     elif [[ ${promote_tarball} == "toolchain"* ]]; then
         tarball_name="toolchain"
     fi