fixed some problems with kernel koding style