[PATCH 2/3] x86/dumpstack: Inline copy_from_user_nmi()