[coreboot-gerrit] Patch set updated for coreboot: 9fec472 ec: Reserve correct ioport regions for Chrome OS EC to use