Hello, I would like to report a bug I encounter with Debian Stretch, but I don't know what is the package involved : When I boot without the option "acpi=off", boot often freeze and I have to hard reboot until I passed it. With the boot option "acpi=off" it triggers other issue, like disabling HDMI port so it become not possible to plug an external screen. Thanks by advance to help me to report this issue.