diff --git a/util/install.sh b/util/install.sh
index e1d8232..141e0ad 100755
--- a/util/install.sh
+++ b/util/install.sh
@@ -266,7 +266,10 @@ function modprobe {
 
 function all {
 	echo "Running all commands..."
-	kernel
+    if [ "$DIST" != "Ubuntu" ]; then
+        # Ubuntu ships with Mininet-compatible kernel
+        kernel
+    fi
 	mn_deps
 	of
 	ovs