[seL4] Determining when would-have-blocked