Check CONFIG_HW_RANDOM_TPM (recommended by Clip OS)