[GIT PULL 4/7] Samsung dev for v3.14

[Kukjin Kim]

The following changes since commit 6ce4eac1f600b34f2f7f58f9cd8f0503d79e42ae:

   Linux 3.13-rc1 (2013-11-22 11:30:55 -0800)

are available in the git repository at:

   git://git.kernel.org/pub/scm/linux/kernel/git/kgene/linux-samsung.git 
tags/samsung-dev

for you to fetch changes up to 70bacadbd07248576290de40cc217c06f0f2d3c3:

   ARM: S3C64XX: Select CPU_V6K instead of CPU_V6 (2013-12-16 04:08:51 
+0900)

----------------------------------------------------------------
Samsung updates for v3.14
- Skip eint_init() for pinctrl-exynos because of re-executing
- Use CPU_V6K for S3C64XX(ARM1176JZF-s) instead of CPU_V6

----------------------------------------------------------------
Mateusz Krawczuk (1):
       ARM: SAMSUNG: if detected device tree skip irq init for S5P

Tomasz Figa (1):
       ARM: S3C64XX: Select CPU_V6K instead of CPU_V6

  arch/arm/Kconfig                     | 2 +-
  arch/arm/plat-samsung/s5p-irq-eint.c | 4 ++++
  2 files changed, 5 insertions(+), 1 deletion(-)