[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.
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/).
Fix machine name: until now it worked because the SBC C31 is currently the fallback option for Rockchip.