Kernel with features supported on s3c6410x SoC based board.