Oder kann ich ACPI ohne IRQ "rebalancing" starten?
Hier findet sich folgender ACPI Parameter:
acpi=noirq
Wenn ich dieses anstelle von ACPI=ht verwende, so scheint das Problem gelöst zu sein und sowohl mein Kernelmodul als auch der Shutdown funktionieren.
Grüsse,
Richard