Well any of the Linux Certified laptops from HP should definitely work..
http://h71028.www7.hp.com/enterprise...0-0-0-121.html
I don't see either of the ones you listed on any of the
linux Laptop sites though.. and Google searches for those Models + Linux don't come back with any decent results either..
My suggestion would be to use the Links I provided to see what the manufacturers (HP, Dell, Lenovo) are selling with Linux on it already, purchase one of those Models and load your Distro of choice..