Hi Andzrej, On 28 November 2012 08:25, Andrzej Szeszo <aszeszo at gmail.com> wrote: > Hi Stephen > > Did you manage to get installed system booting fine with the updated driver then? Yes. Will document on the wiki. Thanks for the lead. S.