Nach einem erneuten Gespräch mit dem Support von ASUS, sagte man mir, ich soll unbedingt einen CMOS-Reset durchführen. Zwar wäre der Fehler eher selten, aber die letzten Tage hätten sich relativ viele Kunden mit dem selben Problem gemeldet.
Den CMOS-Reset habe ich durchgführt. Jetzt heisst es abwarten, ob die Meldung wieder kommt.