nicki: change kernel name :P