diff -r 5b89b4e38cdc -r afd76ee3aa87 devices/update.sh
--- a/devices/update.sh	Tue Oct 28 15:59:52 2014 +0100
+++ b/devices/update.sh	Tue Oct 28 16:31:44 2014 +0100
@@ -2,9 +2,9 @@
 
 set -x
 
-KERNELDIR=/data/kernel/linux-3.12.26
-PREVER=3.10
-KERNELVER=3.12
+KERNELDIR=/data/kernel/linux-3.14.12
+PREVER=3.12
+KERNELVER=3.14
 
 for f in $KERNELDIR/drivers/net/ethernet/{realtek/8139too,realtek/r8169,intel/e100}.c; do
     echo $f