Ok. Going to install a 32-Bit version of Windows 7, to update the BIOS on a 64 bit computer, so it'll boot a 64 bit version of Linux, which I will wipe Windows and re-install.
And yes, that is the required workflow to get a Lenovo E31 ThinkStation with Xeon processor's BIOS up to date enough to support booting modern Linux.