ARM: dts: s3c6410-mini6410: Add default root settings to command line

This patch extends default kernel command line of Mini6410 board with
root device (mmcblk0p1) and mount options (rootwait).

Signed-off-by: Tomasz Figa <tomasz.figa@gmail.com>
ARM: s3c64xx: s3c64xx-dt: Use samsung_timer

Recently introduced patches removed the old s3c24xx tick timer and added
generic high resolution time support using samsung-time (formerly
s5p-time).

This patch updates s3c64xx-dt board file to use the newly introduced
timer.

Signed-off-by: Tomasz Figa <tomasz.figa@gmail.com>
ARM: s3c64xx: cpuidle: Fix missing header error with CONFIG_CPU_IDLE enabled

Recently the regs-syscon-power.h header was moved from
mach-s3c64xx/include/mach to mach-s3c64xx/, but cpuidle.c was not
updated to include the header from its new location, which caused
build error with CONFIG_CPU_IDLE enabled.

This patch fixed the problem by updating the include line with
proper header location.

Signed-off-by: Tomasz Figa <tomasz.figa@gmail.com>