The bootloader is currently non-functional because it lacks the ARM Trusted Firmware image (bl31.elf).