update to kernel 3.12.6