Ispro, it's been indicated in cc's that HP customers can request SEDs and HP will provide them. Wave has stated they have HP customers with SEDs. SEDs don't have to be a standard option on HP orders pages for them to be available to enterprise customers.
As for Lenovo, they have offered SEDs for as long or longer than Dell but w/o bundling any enterprise software like TDM. The customer has to get TDM from Wave or use the drives w/o it. They work w/o TDM, just not on the enterprise level. The password for example is an insecure BIOS password, and w/o TDM there is no instant erase or other centralized management.
Finally, according to the internal Seagate SED case study, it appears Seagate is not a Dell customer, meaning their thousands of ERAS-managed SEDs are likely on HP and/or Lenovo laptops.
You probably know all of the above. I thought most everyone does as it's all been gone over previously.