[coreboot-gerrit] Patch merged into coreboot/master: 735d212 peppy: Port updates from slippy/falco boards