Correction. Re: Linaro Virtualization status 29 May 2013 (Weeks 20-22)