Am Montag, 7. Januar 2008 schrieb Ingo Molnar:

> do:
>
>   echo t > /proc/sysrq-trigger
>
> and send us the dmesg output. If the dmesg output does not include the
> bootup bits then increase CONFIG_LOG_BUF_SHIFT to 20 or so:
>
>   CONFIG_LOG_BUF_SHIFT=20
>
> to have a large enough kernel messages buffer.

The buffer was too small, hence I copied the relevant parts 
of /var/log/kern.log, I hope it contains all required information as well.

regards,
Jörg