ARM: configs: Update s5p6442_defconfig