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