They might want to look at the acpi region reporting for the tpm2 device: [ 2.196332] tpm_crb MSFT0101:00: [Firmware Bug]: ACPI region does...
It looks like the case sold out already. Will you be getting more in stock?
Separate names with a comma.