Update the HW_RANDOM_TPM check