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