launch: Centrally define machine type and DTB wildcard.

This avoids a bit of arch-specific #ifdef.
arm: Add notes about machine types.

Thanks: Marc Zyngier from ARM, Andre Przywara from Linaro for
patiently explaining this to me.
arm: Don't bother supplying guest architecture.

libvirt seems to do the right thing without this.