Add some missing kernel configurations.