Kernel 3.12.10.opinsys5 is our default.  Keep the 3.12.10.opinsys4
still hanging...