switch kernelbranch