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

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