Fixup the defconfig post the latest moves, so ARCH_S5PC1XX becomes
ARCH_S5PC100 which is sufficient to get the system building.
Signed-off-by: Ben Dooks <ben-linux@fluff.org>