Why are the PAGE_SIZE and the physical page frame size different in x86_64 kernel?