[coreboot-gerrit] Patch set updated for coreboot: 3c4ed89 slippy: Clean up for easier porting