Tick, Tock: Understanding the Neutrino Microkernel's Concept of Time