Re: [PATCH v2 08/11] sandbox: Drop CONFIG_SYS_TIMER_RATE