Files: /arch/mips/booting.html