“Does this charger work for an HP elitebook?”