ARM: S5P64X0: Update Kconfig and Makefile