There are several versions of the P37/W/X, with different BIOS: FAxx, FBxx, FCxx, FDxx. It would seem your model uses the FBxx family BIOS, but that is only a guess. Can you give the full specs of the machine, model and/or part #? Is there an update feature within the UEFI/BIOS and have you tried using it?