Change default kernel back to 3.12.10.opinsys4, NFS fixes
need polishing.