GNU GRUB Manual 2.12: BIOS installation