Portable hardware of Hewlett Packard known to be supported by T2/Linux