I have a production system (Windows Server 2012) that gave BSOD with error "IRQL_NOT_LESS_OR_EQUAL". It seems to have happened under higher than usual load.
