arm64: dts: Change TPM i2c driver for EPC R3720 device

The TPM driver under drivers/char/tpm/tpm_tis_i2c.c supports the TPM
chip present on the EPC R3720 device, this commit just adjusts the
driver string to match this driver.

Signed-off-by: Renê de Souza Pinto <[email protected]>

arch/arm64/boot/dts/freescale/imx8mp-rsb3720-a1.dts

@@ -360,7 +360,7 @@
 	};
 
 	st33htpi: st33htpi@2e {
-		compatible = "st,st33htpm-i2c";
+		compatible = "infineon,slb9673";
 		reg = <0x2e>;
 		pinctrl-names = "default";
 		pinctrl-0 = <&pinctrl_tpm>;