[coreboot] Patch merged into coreboot/master: 2d88151 F15tn: Modify devicetree to fix S3 resume