[seL4] Re: Runtime Measurement Hiccup