Improve the HW_RANDOM_TPM check