tall
sudo reboot
</code>
EDIT: Wenn ihr an eurem Kernel was ändert kann es sein, dass der WLAN-Treiber wi... s beim Booten "clocksource tsc" geladen wird. Der Kernel merkt dann, das damit etwas nicht stimmt:
<code>
... clocksource has been installed.
</code>
Damit der Kernel sofort diesen Clocksource lädt, muss man die GRUB
