[seL4] Runtime Measurement Hiccup