Re: [PATCH v2 1/1] sandbox: fix building with CONFIG_SPL_TIMER=y