switch to compatible kernel