[C31] Add SBC-C31 board support configuration
MR adds:
- board device tree configuration
- rules to add SBC-C31 into source tree to build
- necessary drivers support
- support to boot using kernel device tree
- board configuration for seco_config command
MR adds: