Hi Kristina,

On Wed, May 03, 2017 at 04:37:44PM +0100, Kristina Martsenko wrote:

Here are some patches to fix a few issues related to tagged pointer
handling.

These all look good to me, thanks:

Acked-by: Will Deacon <redacted>

Catalin -- I think you can take these all as fixes, with CC stable too
(fixes: tags are already in place).

Cheers,

Will