Pages allocated with alloc_page() have no metadata, so we must format the
header before returing it to the free range tree.