I have a PC running FreeBSD 11.3 / amd64. I need to update the BIOS. The BIOS update file is from Dell and is an "EXE" file. What is the recommended method for updating the BIOS using that file? Thanks! -- Jerry