Öffne ein Terminal mit Administratorrechten und gib folgenden Befehl ein:
wmic path softwarelicensingservice get OA3xOriginalProductKey
Wenn als Ergebnis ...
OA3xOriginalProductKey
ADCDE-FGHIJ-KLMNO-PQRST-UVWXY
... kommt, ist der Key im BIOS, wenn nur die 1. Zeile kommt, nicht.