add generic kernel switching script