CHERRY-PICK: Update Edison kernel repo

Change-Id: I87931d645d8d38a754c7a8536596356073c6b96d
BUG: none
diff --git a/default.xml b/default.xml
index 2617470..d0847ec 100644
--- a/default.xml
+++ b/default.xml
@@ -180,7 +180,7 @@
            name="platform/hardware/bsp/intel"
            groups="edison" />
   <project path="hardware/bsp/kernel/intel/edison-3.10"
-           name="platform/hardware/bsp/kernel/intel"
+           name="platform/hardware/bsp/kernel/intel/edison-v3.10"
            groups="edison" />
   <!-- Qualcomm Dragonboard -->
   <project path="device/qcom/dragonboard"