Changing kernel in the install distribution. How?