Yea I'll dig up the link I used - there was a great reference about getting the thunderbolt working after reboots/etc.