linux/Documentation/arm64/booting.txt
<<