The IRQL_NOT_GREATER_OR_EQUAL bug check has a value of 0x00000009.
This bug check appears very infrequently.