restore kernel specs