vm_area at addr ffffffffc0800000 is not marked as VM_IOREMAP

[Christoph Hellwig]

Hi Alexei,

yes, the patch looks good, and yes, arm32 ioremap_page should just be
removed.  I can send  patch unless you plan to.