[coreboot-gerrit] Patch set updated for coreboot: 0815840 Add directive __SIMPLE_DEVICE__