[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
As of 8 April 2024, the git.seco.com instance was upgraded to the Premium version. External users and SECO customers who need access to private groups or repositories can make a request by contacting SECO support team via the ticketing platform (https://support.seco.com/).
MR adds: