(It works perfectly to this day.)
It's a little sad that Supermicro didn't do this at their end, it's maybe an hour of work, two with testing…
> inclusion of the NVMe DXE trifecta (Nvme, NvmeSmm, NVMEINT13)
Now that I think about it, this sounds very much like what I threw into the X9DR7-LN4F BIOS image.
Ed.: apparently these are the files I used, though I cannot dig up how or where I did this :)
-rw-r--r-- 1 41917 May 28 2020 P-X9DR7-E-LN4F_BIOS_3_3_release_notes.pdf
-rw-r--r-- 1 30493975 May 28 2020 FD12LITE.zip
-rw-r--r-- 1 16293994 May 28 2020 Aptio_V_AMI_Firmware_Update_Utility.zip
-rw-r--r-- 1 818096 May 28 2020 UEFI_Shell_Spec_2_0.pdf
-rw-r--r-- 1 2104626 May 28 2020 AMIBCP 4.53.zip
-rw-r--r-- 1 5910147 May 28 2020 UEFITool_v0.27.0.rar
-rw-r--r-- 1 10665 May 28 2020 NvmExpressDxe_4.rar
-rw-r--r-- 1 404236 May 28 2020 MMTool 4.50.0.23.zip
-rw-r--r-- 1 6150536 May 28 2020 Aptio_4_AMI_Firmware_Update_Utility.zip
(…10kB compressed for the actual NVMe DXE…) ..A.... 20832 2018-04-18 00:00 NvmExpressDxe_4.ffs