You are right, firmware update and verification is only possible with the Nitrokey Storage. For the other devices it needs more work to be done. However, Nitrokey Light is based on Gnuk which supports firmware updates as well. But we didn't test it sufficiently yet to be certain that it works stable.