[PATCH] x86_64: Export end_pfn