[coreboot-gerrit] Patch set updated for coreboot: 80dbc5d baytrail: get rid of global microcode_ptr