Re: [PATCH v4 04/12] ARM: entry: Fix iWMMXT TIF flag handling