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