[coreboot-gerrit] New patch to review for coreboot: Documentation: Add information about patches from other git repos