/platforms/rpi-aarch64/boot/EFI/
../
BOOT