Thanks, no, I wasn't aware of that hotfix. However, it seems that shouldn't prevent the BIOS from seeing the device.
Anyway, this was several days ago. I couldn't find an answer so I returned the SSD and got a SATA SSD instead. Not as fast, but I had to promptly replace a HDD that was starting to fail.