I keep an external hard drive with a 2GB FAT32 partition and FreeDOS installed on it for BIOS flashing.