Updated scripts to use the new kernel (3.12-1-rpi)