[coreboot-gerrit] Patch set updated for coreboot: Documentation: Fix links to Intel/documentation.html