[Linaro-mm-sig] Question about ION carveout heap support partial cache flush