Comment 32 for bug 1799988

As an FYI, here's info about my bios version:

alexberry:~/ $ sudo dmidecode -t bios -q [9:04:26]
BIOS Information
 Vendor: Dell Inc.
 Version: 1.5.1
 Release Date: 08/09/2018
 Address: 0xF0000
 Runtime Size: 64 kB
 ROM Size: 16 MB
 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.5

BIOS Language Information
 Language Description Format: Long
 Installable Languages: 2
  en|US|iso8859-1
  <BAD INDEX>
 Currently Installed Language: en|US|iso8859-1