ARM: dts: Add dts file for S3C6410-based Mini6410 board