[coreboot-gerrit] Patch set updated for coreboot: c8938ab regscript: Add support for MSR type