Id hardwaru tvého NVME disku je (jestli jsem to dobře opsal):
PCI\VEN_144D&DEV_A80D&SUBSYS_A801144D&REV_00
a není kompatibilní s tím exe, co ti dal HPET, protože ten má, co jsem dohledal na netu, podporu pro ty id hardware, které jsem tu už uvedl.
Jestli chceš zkusit ovladač od Samsungu na tvůj řadič tak je potřeba najít ovladač, který je pro toto id hardwaru (jak už jsem psal ve formě *.inf, *sys, + ověřit digitální podpis = ať instaluješ pouze ovladač ). Já ti ho hledat nebudu