Files: /_sources/arch/x86/booting-dt.rst.txt