[coreboot] Patch set updated for coreboot: 16a5ddb Add (hacked-up) s3c24x0_i2c files