Also document the algorithm for the default PCR interval.

Fixes ticket #8061.
Signed-off-by: Marton Balint <cus@passwd.hu>