Use 3.8.8.opinsys1 as the default kernel for quantal