kernel: add another missing TPM symbol