Ok, this is merged. If it happens that rename takes longer than expected, and LAVA submission doesn't work in the meantime, we can map "vexpress-a9" to "vexpress" for the time being too.
Ok, this is merged. If it happens that rename takes longer than expected, and LAVA submission doesn't work in the meantime, we can map "vexpress-a9" to "vexpress" for the time being too.