Draft: [C31] Add SBC-C31 board support configuration

Based on !21 (merged)

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