Updating the BIOS on a Dell PC isn't as straight forward on Linux as it is Windows. No running a .exe file here. It is still really easy though.

  1. Format USB using FAT
  2. Download BIOS update and copy to USB
  3. F12 on boot for options
  4. Boot to BIOS Flash Update

To get BIOS info, run dmidecode

[email protected] ~> sudo dmidecode
[sudo] password for damonj: 
# dmidecode 3.2
# dmidecode 3.2
Getting SMBIOS data from sysfs.
SMBIOS 3.0.0 present.
Table at 0x000E74A0.

Handle 0x0000, DMI type 0, 24 bytes
BIOS Information
	Vendor: Dell Inc.
	Version: 1.4.0
	Release Date: 05/25/2018
	Address: 0xF0000
	Runtime Size: 64 kB
	ROM Size: 16 MB
		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.4
Handle 0x0001, DMI type 1, 27 bytes
System Information
	Manufacturer: Dell Inc.
	Product Name: XPS 13 9370
	Version: Not Specified
	Serial Number: 2NGNVP2
	UUID: 4c4c4544-004e-4710-804e-b2c04f565032
	Wake-up Type: Power Switch
	SKU Number: 07E6
	Family: XPS

Yes this does need updating. I'm doing it next. :)