The trackpoint probably doesn't work due to the change in the input devices that occurs when you plug your docking station in, make sure your xorg.conf only refers to /dev/input/mice and/or /dev/psaux and NOT to any device explicitly by /dev/input/mouse*, event*, etc.
The trackpoint probably doesn't work due to the change in the input devices that occurs when you plug your docking station in, make sure your xorg.conf only refers to /dev/input/mice and/or /dev/psaux and NOT to any device explicitly by /dev/input/mouse*, event*, etc.