Re: [PATCH 1/1] sandbox: implement invalidate_icache_all()