Danke McStender!
Die Anregung, wie ein BIOS-Reset zu bewerkstelligen ist, war sehr interessant. Das Fehlerbild hat sich dadurch nicht gebessert.
Aber wo der Rechner offen war, fiel mir was anderes auf: Ich hatte, weil es ad hoc unter Linux nicht funzte, vor zwei oder drei
Jahren das...