Hmmm. Slightly disconcerting: ik ben de nieuwe kernel nog aan het downloaden met de Update Agent, en het Alert Notification Tool zegt me al dat ik kernel-2.4.18-18.8.0 heb geïnstalleerd terwijl ik nog kernel-2.4.18-14 aan het draaien ben, en dat ik dus zo snel mogelijk zou moeten booten.

Weird. Booten dus.