Update edge kernel to 3.9.4.opinsys1