update for pimped kernel