[coreboot-gerrit] Change in coreboot[master]: Documentation: Add several fixes

[Patrick Georgi (Code Review)]

Patrick Georgi has posted comments on this change. ( https://review.coreboot.org/c/coreboot/+/41492 )

Change subject: Documentation: Add several fixes
......................................................................

Patch Set 2:

(2 comments)

https://review.coreboot.org/c/coreboot/+/41492/1//COMMIT_MSG 
Commit Message:

https://review.coreboot.org/c/coreboot/+/41492/1//COMMIT_MSG@7 
PS1, Line 7: Documenation
> Documen*t*ation

Done

https://review.coreboot.org/c/coreboot/+/41492/1//COMMIT_MSG@11 
PS1, Line 11: * Make sphinxcontrib ditaa an option extension
> optional

Done