switch kernel to a more stable release branch