[ 3.8.y.z extended stable ] Patch "ARM: 7755/1: handle user space mapped pages in" has been added to staging queue

[Simon Baatz]

Hi Kamal,

On Tue, Jun 25, 2013 at 03:20:06PM -0700, Kamal Mostafa wrote:
> This is a note to let you know that I have just added a patch titled
> 
>     ARM: 7755/1: handle user space mapped pages in
> 
> to the linux-3.8.y-queue branch of the 3.8.y.z extended stable tree 
> which can be found at:
> 
>  http://kernel.ubuntu.com/git?p=ubuntu/linux.git;a=shortlog;h=refs/heads/linux-3.8.y-queue
> 
> This patch is scheduled to be released in version 3.8.13.4.
> 
> If you, or anyone else, feels it should not be added to this tree, please 
> reply to this email.
 
This patch breaks building certain ARM configs (noMMU). A followup
patch is needed to fix this and is already available upstream: 

Commit 63384fd (ARM: 7772/1: Fix missing flush_kernel_dcache_page()
for noMMU)

Thus, please add that patch as well. If it is too late to do this, my
suggestion would be to queue both of them together for the next
cycle.

- Simon