Manage kernel parameters
