added vexpress-a15 dtd