modify kernel definitions