Fix the number of bits in the role, and simplify the explanation of
why several bits or combinations of bits are redundant.
Signed-off-by: NPaolo Bonzini <pbonzini@redhat.com>