Hi, I have a ThinkPad T430S, and I have a problem with X hanging when I undock the laptop. The only way for me to fix it is to go to a console terminal, log in, and run: sudo pkill -HUP X