Ahoj, Maybe it will interfere with ACPI, please can you try to boot the kernel with acpi=off ? Regards Rudolf