Fix kernel tests