https://www.linuxboot.org/ is an effort to use Linux as boot firmware.
ARM_LINUX_KERNEL_AS_BL33 that was added for Qemu and FVP is very similar.
This taks is about implementing ARM_LINUX_KERNEL_AS_BL33 for the Marvell Macchiatobin