Fix kernel notifications