Mediatek Genio 520 and 720 EVK
This merge request adds the bootloader artifacts for Mediatek Genio 520 and 720 EVK in the prebuilt Debian images and update documentation related to those boards.
Signed-off-by: Louis-Alexis Eyraud louisalexis.eyraud@collabora.com