[PATCH] ppc64: tpm_infineon build fix