Klar, du musst halt ne passende Datei haben und die auf einen FAT32 USB stick packen und dann sollte es auch rückwärts gehen.
Das BIOS macht im Grunde nur einen "klick" auf die Datei und führt sie aus, den Rest macht die Datei. Also könntest du in aller theorie auch ein eigenes BIOS Datei...