Install 3.12.4.opinsys1 as the edge kernel