/bl32/tsp/aarch64/