Install the 3.8.1.opinsys1 kernel (for testing, for now).