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