append_paddr_range
appended = append_paddr_range(tail, pa, len);
appended = append_paddr_range(tail, pa, todo);