The qemuarm machine is replaced by qemuarm-efi, which works similarly
but uses EFI.

Signed-off-by: Luca Seritan <luca.seritan@huawei.com>