Integrate seco-base/kirkstone-gm_c31

Commit: seco-base@3259f944

[CONFIGS][RK][C31] Fix machine config typos

Fix machine name: until now it worked because the SBC C31 is currently the fallback option for Rockchip.