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