Comment 6 for bug 1844357

Looks like this isn't going anywhere upstream, unfortunately; if anything, it seems like there's more interest in *removing* default machine types for other archs, instead of adding a default machine type for arm.

@paelzer unless you think there's value in Ubuntu carrying a patch to add an arm default machine type, I think we can close this bug as wontfix.