Re: How to switch between installed kernel and developed kernel