kernel: add missing HW_RANDOM_TPM symbol