Files: /base/x86/booting-dt.html