Je voulais effectuer un test de mémoire sur l'une de mes machines de bureau, mais j'ai rencontré un problème très étrange : je peux utiliser le clavier USB (habituel) (j'ai essayé Cherry Evolution Stream ainsi qu'un ancien clavier de Logitech) pour ouvrir le BIOS (en appuyant sur Del) et le modifier, mais pas dans le menu de démarrage d'Ubuntu (où il faut sélectionner la langue et le type de clavier pour les versions d'Ubuntu antérieures à 10.*). Après le démarrage d'Ubuntu, le clavier est utilisable. J'ai également essayé d'utiliser un autre port USB, mais sans succès.
Est-ce un problème connu de la carte mère, du BIOS ou d'Ubuntu ?