Download binary file, grub-bios-setup