Danke für eure Hinweise. dmesg meldet nichts in Sachen keyboard und htop ist völlig unauffällig, kein Leistungsfresser zu erkennen.
Und das BIOS, naja, das ist so alt wie der Rechner, also 11 Jahre.
Das seltsame ist ja, dass es nur unter OBSD auftritt, boote ich was anderes, geht alles normal...