Race condition in ipc.rs

[tomaka]

This can be reached:

redshirt/kernel/core/src/scheduler/ipc.rs

Line 431 in af306f1

_ => unreachable!(),