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