Share the same robocfg.c between both architectures