bucks kernel