Samsung mach/soc update for v4.13:
1. Fix possible circular Kconfig dependency on S3C64xx.