Prefix platform check with kelvin_sw.

Change-Id: I27aafd64c229e219ab2c9953f5ac783cb49cae45

tensorflow/lite/micro/kernels/BUILD

diff --git a/tensorflow/lite/micro/kernels/BUILD b/tensorflow/lite/micro/kernels/BUILD
index 41e996b..492a425 100644
--- a/tensorflow/lite/micro/kernels/BUILD
+++ b/tensorflow/lite/micro/kernels/BUILD
@@ -1472,6 +1472,6 @@
 config_setting(
     name = "kelvin_default",
     values = {
-        "platforms": "//platforms/riscv32:kelvin"
+        "platforms": "@kelvin_sw//platforms/riscv32:kelvin"
     },
 )