Devin Bidstrup

I noticed the following inconsistency between two sections of the main Caliptra specification. I did not see any text indicating if this was intentional, so I am requesting either further...