1
linux/Documentation/arm64
..
booting.txt