Hi Debian: I want to add bios information to you. I think it can help you to fix this bug.
The bios information is from dmidecode. # dmidecode 3.0 Getting SMBIOS data from sysfs. SMBIOS 3.0.0 present. Handle 0x0000, DMI type 0, 24 bytes BIOS Information Vendor: Dell Inc. Version: 1.1.0 Release Date: 12/07/2017 Address: 0xF0000 Runtime Size: 64 kB ROM Size: 16384 kB Characteristics: PCI is supported PNP is supported BIOS is upgradeable BIOS shadowing is allowed Boot from CD is supported Selectable boot is supported EDD is supported Japanese floppy for NEC 9800 1.2 MB is supported (int 13h) 5.25"/1.2 MB floppy services are supported (int 13h) 3.5"/720 kB floppy services are supported (int 13h) 3.5"/2.88 MB floppy services are supported (int 13h) Print screen service is supported (int 5h) 8042 keyboard services are supported (int 9h) Serial services are supported (int 14h) Printer services are supported (int 17h) ACPI is supported USB legacy is supported Smart battery is supported BIOS boot specification is supported Function key-initiated network boot is supported Targeted content distribution is supported UEFI is supported BIOS Revision: 1.1 Handle 0xF03E, DMI type 13, 22 bytes BIOS Language Information Language Description Format: Long Installable Languages: 2 en|US|iso8859-1 <BAD INDEX> Currently Installed Language: en|US|iso8859-1 Thank you very much Chan Jui Huang
