The new QEMU ARM machines all use EFI/GRUB and act and behave like a typcal
x86_64 box would. In addition, re-order the entries so that physical machines
and virtual machines are clustered together, and in the same order.

Signed-off-by: Zygmunt Krynicki <zygmunt.krynicki@huawei.com>