x86: 64-bit, add the new split_large_page() function