Hi Aurelien, On 08/27/2014 04:42 AM, Aurelien Jarno wrote: > Thanks, I have just committed this patch, it will be in the next upload. I have to ask you to please revert the vmlinu*z* patch. Some of the ppc64el target platforms can only boot vmlinu*x* (no support for compressed kernels). Really sorry for taking your time. -- Mauricio Faria de Oliveira IBM Linux Technology Center