updated kernel to version 3.12.1