Re: [seL4] benchmark - idle utilization