J'ai vu ce problème, en début d'année, sur un portable Dell d'un client.
Pour son cas, cela a été réglé par la mise à jour du BIOS.

Maintenant, cela est-il généralisable ?

Merci. C'est déjà une indication.
Je vais lui suggérer de voir si une mise à jour Bios existe et 
éventuellement de se faire aider pour la faire.
Bonne journée.
-- 
Tom