install new kernel 3.2 as default