This checks for a specific bug fixed in 2024/11, where it was possible to invoke the scheduler's exception entrypoint, which must run with IRQs deferred, with IRQs enabled if a thread exited from its initial activation via a slightly unusual path.

See https://github.com/CHERIoT-Platform/cheriot-rtos/pull/346