[coreboot-gerrit] Patch set updated for coreboot: df32770 MP Spec: Add debugging capabilities