Files: /platform/bios-and-efi.html