New function ipc_enqueue_slow() to enqueue to the slow in_queue from within mini's irq context. The SDHC driver and the geckoloader uses this, which in return gets our irq stack size down again to a sane value.
The new sd driver requires this, I can reproduce a panic easily here. This is hopefully temporarily, maybe we can push this requirement down a little.