PS3 Dist upgrade

The PS3 dist upgrade went smooth now runs jaunty πŸ™‚

Still has problems with network manager I see – about a hour and a half for the full dist upgrade – nice and smooth πŸ™‚