This patch was posted by a ARM guy, it seems that it got lost. Please apply