Les tentatives de modification de la propriété du port série dans l'utilitaire de configuration du BIOS échouent (15791123, anciennement CR 7168093)

Les tentatives de modification de propriété de port série à l'aide du menu F2 de configuration du BIOS échouent. Ce problème a été résolu dans la version logicielle du système 1.2.