Update default kernel to 3.12.10.opinsys3