Minor PKRU bug?

[Andy Lutomirski]

is_prefetch in arch/x86/mm/fault.c can be called on a user address
that's not readable due to PKRU.  This could break it.  You might need
to add a get_user_exec or similar.

--Andy