Re: [PATCH 2/2] sandbox: fix sandbox_wdt_expire_now()