This machine is based on Cortex-A57. For the EFI side, it uses
edk2-firmware.

Signed-off-by: Andrei Gherzan <andrei.gherzan@huawei.com>
Signed-off-by: Luca Seritan <luca.seritan@huawei.com>