[chibios] Board config files renamed more appropriately
* Minor fix in sys_time_arch -> so GX3 driver compiles