update to kernel 3.4.51