changed one declaration in kernel