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"