BSODs freqüentemente acontecem por conta de um problema de driver. Nesse caso, meu palpite seria o driver do teclado. Ela pode atualizar o driver do teclado por meio da atualização do Windows ou do site do fabricante. Se isso foi iniciado recentemente, também é possível que um driver atualizado tenha sido instalado automaticamente e precise ser revertido. Tudo isso ela pode discutir com seu help desk. Além disso, há muitas informações sobre como solucionar problemas de BSODs, dependendo da profundidade em que você deseja seguir a toca do coelho.
Nesse meio tempo, ela pode tentar o Windows Key + L para bloquear a tela, mas ela pode acabar com o BSOD para desbloqueá-lo. É possível configurar o XP para não exigir que o usuário pressione Ctrl + Alt + Delete para efetuar login, o que exigiria que ele configurasse a Troca Rápida de Usuário para desbloquear o PC. Mais uma vez, ela pode discutir tudo isso com seu help desk.