This patch contains the following fixes for the version of L4/Fiasco that has
been released with the October OpenTC snapshot:

- Clear reference to previosly freed I/O page table entries
- Enable 4K stacks in order to avoid stack underflows

To apply the patch, do the following:

#> cd .../l4/kernel/fiasco
#> patch -p0 < .../fiasco_fixes_20061020.diff

Then you need reconfigure your Fiasco build directory:

#> make -C ia32/ config

Enable the option "TCB size of 4k" in the in the sub menu "Kernel Options",
press 'x' to leave the configuration tool and then recompile Fiasco:

#> make -C ia32/ -j4