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