I have a 5110 which I purchased with Ubuntu and do not see a way to upgrade the Thunderbolt firmware using anything but Windows.  What's the recommended procedure to do this?