x86: convert pgalloc_64.h from macros to inlines