It would be nice to have some documentation somewhere (or at least a pointer) that explains what these platforms are and how they differ from each other (e.g., how is the VExpress_ELT different from the CA9?).  Sorry if it's already there somewhere outside the diff---but even if it is, clearly you didn't update it here ;-)