Not sure about HP but Leveno is offering thinkpads with SLED
http://desktoplinux.com/news/NS3449833487.html
A bit more expensive than the HP but it's SLED 10 = support

/Geoff