[kern] work around for get_user_pages() deadlock (appears to be a Linux issue).
[kern] work around for get_user_pages() deadlock (appears to be a Linux issue).

project-dune/dune,project-dune/dune,project-dune/dune,project-dune/dune