My last flight from Dublin to Philadephia was on an AA plane with a USB port in the armrest but no regular or cigarette lighter type sockets. Anyone know how these USB ports be used to charge a notebook computer or are they only for smart phones and pads? Thanks, FG