[RFC PATCH] apple: dart: add logic to allocate dva addresses