Vielen Dank für die Hinweise. Bei meinem PC hat ein Treiber-Update tatsächlich geholfen. Danach war die Hardwarebeschleunigung wieder verfügbar.
Bei meinem Bruder muss ich mir das in den nächsten Tagen mal anschauen. Vielleicht ist das bei ihm auch durch ein Treiberupdate zu beheben.