How does one use the bin files to update the bios though?