How to switch between installed kernel and developed kernel