now running with grouper kernel 3.0.0
made loading of new kernel much simpler, since no other systems than linux are considered