Nach ein bisschen suchen, bin ich auf Blogeintrag gestoßen. Auch die Seashell bietet einen „BuildIn“ BIOS-Flasher.

Einfach das BIOS update auf eine SD-Karte/USB-Stick packen und beim booten ALT+F2 drücken…