x86_64: free_bootmem should take phys