[coreboot-gerrit] Patch set updated for coreboot: 71116c7 AMD: Drop six copies of wrmsr_amd and rdmsr_amd