Richtig, ich hatte aber gerade bei HP wohl noch von früher einige Stolpersteine im Kopf die der Hersteller gerade im BIOS hinterlegt hatte, die auf dem ein oder anderen Gerät wirklich Probleme machten - daher meine Empfehlung. Die neueren Kernel (6.2 ff) sollten das Problem aber von alleine lösen.
Das wissen wir nicht, denn wir wissen nicht um welches HP Gerät es geht.