aarch64: Support versioned machine types.
    
    For distros that want to add versioned machine types, they will add
    (downstream) machine types like "virt-foo-1.2.3".  Detect these as
    MMIO too.
    
    Signed-off-by: Richard W.M. Jones <rjones@redhat.com>