On Mon, Aug 22, 2011 at 04:19:53PM +0200, Eric Bénard wrote: > I made some changes to the entry in the ARM Machine Registry after > submission which was the wrong thing to do. > This patch should help to fix this error. Looks fine. Could you throw it in the patch system please? Thanks.