[PATCH 157/171] Correct SPL use of TPM_RNG