Re: Aarch64 vm-spec validation tools