@budster: Hmm, ik kan het niet reproduceren.
Ik heb sindsdien wel een koude herstart gedaan. Misschien dat dat het was. top gaf 27 tot 30 % cpu en 11 % mem aan. Zelfs spelen vanaf een usb-stick gaat nu zonder haperen. Ik heb de Daily Source Code podcast # 447 geprobeerd.