x86: Mark native_set_p4d() as __always_inline