update linux kernel configuration