Text this: Analyzing execution path non-determinism of the Linux kernel in different scenarios