[Soekris] Reset BIOS to factory defaults and out-of-date manual

[Nick Hibma]

> &, i can't seem to figure out how to reset to factory defaults.  :-(

This is definitely an issue. It's not mentioned in the manual in any 
case.

While we are on the topic of the manual: Why is the the manual out of 
date wrt BIOS commands for example? It is rather annoying if you are 
sitting on top of a ship and you do not have access to Google...

Nick