[coreboot-gerrit] Patch set updated for coreboot: 56df1b7 nvidia/ck804: Minor cleanup on dead code