/boot/optee-os/