Unfortunately, none of the workarounds works on my system. On top of that, the boot stops at "Switched to clocksource tsc" forever. I can't even boot a Live-Cd.
Unfortunately, none of the workarounds works on my system. On top of that, the boot stops at "Switched to clocksource tsc" forever. I can't even boot a Live-Cd.