config files to get devstack vexpress-a15 demo working