Vexpress-aarch64 device