Portable hardware of Dell known to be supported by T2/Linux