Hrm, do I really *have* to run this from a tftp boot server? I'm not finding anything in the regular menu for configuring the ethernet- nor for switching to serial input (this is occasionally important for the HP200LX)