[coreboot-gerrit] Patch set updated for coreboot: e893989 Include LICENSE.gpl in the tree.