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