@Lorenzo @MeatWar
Since it turned out, that Lorenzo’s help request has nothing to do with the topic of >this< thread, I have moved the related discussion into a separate thread.
@Lorenzo
As I already told you, you should check the HardwareIDs of the AHCI Controller, which is within the SSD.
If it should be a Samsung AHCI Controller, you may have to insert the SAMSUNG_M2_DXE module into the mainboard BIOS to get the SSD bootable. You can find the related guide >here<.