I also forgot to mention: The problem I had here was that the debian boot script actually insmod'ed the dumb serial module, thus causing the crash. This is the piece of script that displays "Configuring serial ports".