[rwth-security] Insecure Platform Key (PK) used in UEFI system firmware signature