“Is the HP Elitebook 840 compatible with other HP docking stations other than UltraSlim?”