[coreboot-gerrit] New patch to review for coreboot: 87a672a samsung/lumpy/ec.c: Do not include unneeded header `chromeos.h`